Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
path.homotopic.symm
Modification history
2021-11-15 21:01
src/topology/homotopy/path.lean
feat(topology/homotopy/fundamental_groupoid): The functor from `Top` to `Groupoid` (#10195) …
Modified
path.homotopic.symm
View on Github →
2021-10-11 20:04
src/topology/homotopy/path.lean
feat(topology/homotopy/path): Add homotopy between paths (#9141) …
Added
path.homotopic.symm
View on Github →