Theorem ContinuousMap.lt_def

Modification history

2023-02-22 20:00

Mathlib/Topology/ContinuousFunction/Ordered.lean

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

Added ContinuousMap.lt_def View on Github →