Grothendieck's yoga of the pro-fpqc topology

GPTKB entity