Theorem le_iff_nhds

Modification history

2023-08-10 19:52

Mathlib/Topology/Order.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified le_iff_nhds View on Github →

2023-01-31 11:16

Mathlib/Topology/Order.lean

feat: port Topology.Order (#1843)

Added le_iff_nhds View on Github →