Grothendieck universes (English, noun)
expansion: Grothendieck universes
Senses:
glosses: plural of Grothendieck universe
tags: form-of
plural
Forms: