Assertion: abelian group's element | /r/CapableOf | give injection
Facets:
Source sentences:
text: Injection directly gives that there is a unique element in the kernel, and a unique element in the kernel gives injection: