Assertion: grothendieck universe | /r/HasProperty | large
Facets:
value: extremely
type: DEGREE
Source sentences:
text: Because Grothendieck universes are extremely large, this suffices in almost all applications.