Mathlib v3 is deprecated. Go to Mathlib v4

Def fundamental_groupoid.fundamental_groupoid_functor

Modification history

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.fundamental_groupoid_functor View on Github →