Grothendieck's yoga of the fundamental groupoid scheme

GPTKB entity