Assertion: transformation | /r/HasSubgroup | natural transformation
Facets:
Source sentences: