Search the corpus

    Every free $R$-module admits a basis

    PR-DLPTR