Def ContinuousMap.HomotopyRel.compContinuousMap

Modification history

2023-10-23 14:19
Mathlib/Topology/Homotopy/Basic.lean
refactor: remove redundant condition in HomotopyRel (#7848) …
Added ContinuousMap.HomotopyRel.compContinuousMapView on Github →