Theorem ContinuousMap.coe_IccExtend

Modification history

2023-02-22 20:00
Mathlib/Topology/ContinuousFunction/Ordered.lean
feat: port Topology.ContinuousFunction.Ordered (#2448)
Added ContinuousMap.coe_IccExtendView on Github →