Assertion: isomorphism's inverse | /r/HasProperty | green
Facets:
Source sentences:
text: One can check that the cosets form a group of three elements (the product of a red element with a blue element is blue, the inverse of a blue element is green, etc.).