Assertion: free abelian group | /r/CapableOf | satisfy ibn
Facets:
Source sentences:
text: Further information: free abelian groups satisfy IBN