Assertion: universe | /r/HasSubgroup | grothendieck universe
Facets:
Source sentences: