Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
continuous_map.homotopic_rel.symm
Modification history
2021-11-15 21:01
src/topology/homotopy/basic.lean
feat(topology/homotopy/fundamental_groupoid): The functor from `Top` to `Groupoid` (#10195) …
Modified
continuous_map.homotopic_rel.symm
View on Github →
2021-11-04 11:24
src/topology/homotopy/basic.lean
feat(topology/homotopy/basic): add `homotopic` for `continuous_map`s. (#9865)
Added
continuous_map.homotopic_rel.symm
View on Github →