Theorem mem_nhds_orderable_dest
Modification history
2019-12-16 14:15
src/topology/algebra/ordered.lean
chore(topology/algebra/ordered): use interval notation here and there (#1802) …
Deleted mem_nhds_orderable_destView on Github →2019-11-12 11:23
src/topology/algebra/ordered.lean
style(*): use notation `𝓝` for `nhds` (#1582) …
Modified mem_nhds_orderable_destView on Github →