Theorem dense_discrete

Modification history

2023-07-10 12:17
Mathlib/Topology/Order.lean
feat: add lemmas about discrete topology (#5777) …
Added dense_discreteView on Github →