Assertion: abelian group's element | /r/HasProperty | homotopy classes of based maps
Facets:
Source sentences:
text: The elements of such a group are homotopy classes of based maps