Assertion: abelian group | /r/HasProperty | $f$
Facets:
Source sentences:
text: An Abelian group $F$ is free if and only if it has the projective property.