Theorem ContinuousMap.nullhomotopic_of_constant

Modification history

2023-05-14 11:05
Mathlib/Topology/Homotopy/Contractible.lean
feat: port Topology.Homotopy.Contractible (#3960)
Added ContinuousMap.nullhomotopic_of_constantView on Github →