Documentation

Mathlib.AlgebraicTopology.FundamentalGroupoid.PUnit

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

Instances For