Grothendieck's yoga of the pro-crystalline topology

GPTKB entity