Theorem ContinuousMap.le_def

Modification history

2023-02-22 20:00

Mathlib/Topology/ContinuousFunction/Ordered.lean

feat: port Topology.ContinuousFunction.Ordered (#2448)

Added ContinuousMap.le_def View on Github →