Def FundamentalGroup

Modification history

2025-10-18 17:29
Mathlib/AlgebraicTopology/FundamentalGroupoid/FundamentalGroup.lean
chore(AlgebraicTopology): clean up FundamentalGroupoid (#28234) …
Modified FundamentalGroupView on Github →
2023-05-18 07:49
Mathlib/AlgebraicTopology/FundamentalGroupoid/FundamentalGroup.lean
feat: port AlgebraicTopology.FundamentalGroupoid.FundamentalGroup (#4051)
Added FundamentalGroupView on Github →