Assertion: transpose | /r/HasSubgroup | inverse transpose
Facets:
Source sentences: