Assertion: free abelian group | /r/CapableOf | assume the axiom of choice
Facets:
Source sentences:
text: Furthermore, assuming the axiom of choice, the free abelian groups are precisely the projective objects in the category of abelian groups.