mathlib
11b2f36b - feat(algebraic_topology/fundamental_groupoid): Fundamental groupoid of punit (#12757)

Commit

3 years ago

feat(algebraic_topology/fundamental_groupoid): Fundamental groupoid of punit (#12757) Proves the equivalence of the fundamental groupoid of punit and punit

Author

prakol16

Parents

cd196a8a

mathlib 11b2f36b - feat(algebraic_topology/fundamental_groupoid): Fundamental groupoid of punit (#12757)

mathlib
11b2f36b - feat(algebraic_topology/fundamental_groupoid): Fundamental groupoid of punit (#12757)