Grothendieck universes

English

Noun

Grothendieck universes

plural of Grothendieck universe

Retrieved from "https://en.wiktionary.org/w/index.php?title=Grothendieck_universes&oldid=55890502"