Assertion: free abelian group | /r/HasAspect | same type
Facets:
Source sentences:
text: If two torsion-free abelian groups of rank 1 have the same type they may be shown to be isomorphic.