Grothendieck's yoga of the fundamental groupoid homotopy

GPTKB entity