Assertion: free abelian group | /r/HasProperty | a of rank n
Facets:
Source sentences:
text: 1} , there exists a torsion-free abelian group A of rank n such that for any partition n = r 1 + ⋯