Theorem denseRange_discrete

Modification history

2024-01-24 14:31

Mathlib/Topology/Order.lean

chore(Topology): remove autoImplicit from most remaining files (#9865)

Modified denseRange_discrete View on Github →

2023-07-10 12:17

Mathlib/Topology/Order.lean

feat: add lemmas about discrete topology (#5777) …

Added denseRange_discrete View on Github →