Mathlib v3 is deprecated. Go to Mathlib v4

Def fundamental_group

Modification history

2022-03-17 01:38
src/algebraic_topology/fundamental_groupoid/fundamental_group.lean
feat(topology/homotopy/fundamental_group): prove fundamental group is independent of basepoint in path-connected spaces (#12234) …
Added fundamental_groupView on Github →