Mathlib v3 is deprecated. Go to Mathlib v4

Theorem contractible_iff_id_nullhomotopic

Modification history

2022-04-12 23:00

src/topology/homotopy/contractible.lean

feat(topology/homotopy): Add definition of contractible spaces (#12731)

Added contractible_iff_id_nullhomotopic View on Github →