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_group.fundamental_group_mul_equiv_of_path