Assertion: abelian group | /r/HasAspect | projective property
Facets:
value: for every two abelian groups
type: TRANSITIVE-OBJECT
Source sentences:
text: : We say that an Abelian group F has the projective property if for every two abelian groups $B,C$ and for