Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fundamental_groupoid.comp_eq

Modification history

2022-02-02 07:21
src/topology/homotopy/fundamental_groupoid.lean
feat(topology/homotopy): Fundamental groupoid preserves products (#11459)
Modified fundamental_groupoid.comp_eqView on Github →
2021-11-15 21:01
src/topology/homotopy/fundamental_groupoid.lean
feat(topology/homotopy/fundamental_groupoid): The functor from `Top` to `Groupoid` (#10195) …
Added fundamental_groupoid.comp_eqView on Github →