Fundamental groupoid of punit #
The fundamental groupoid of punit is naturally isomorphic to CategoryTheory.Discrete PUnit
Equivalence of groupoids between fundamental groupoid of punit and punit
Mathlib.AlgebraicTopology.FundamentalGroupoid.PUnit
The fundamental groupoid of punit is naturally isomorphic to CategoryTheory.Discrete PUnit
Equivalence of groupoids between fundamental groupoid of punit and punit