Grothendieck's yoga of the pro-fppf topology

GPTKB entity

Statements (13)