Mathlib v3 is deprecated. Go to Mathlib v4

Theorem id_nullhomotopic

Modification history

2022-06-14 18:25
src/topology/homotopy/contractible.lean
feat(topology/homotopy/contractible): a few convenience lemmas (#14710) …
Modified id_nullhomotopicView on Github →
2022-04-12 23:00
src/topology/homotopy/contractible.lean
feat(topology/homotopy): Add definition of contractible spaces (#12731)
Added id_nullhomotopicView on Github →