Assertion: ring's set | /r/CapableOf | let p n r
Facets:
Source sentences:
text: Let R be a commutative ring and P ( R ) {\displaystyle \mathbf {P} (R)} the set of isomorphism classes of finitely generated projective modules over R; let also P n ( R ) {