Theorem nhds_nhdsAdjoint_same

Modification history

2024-02-14 01:35
Mathlib/Topology/Order.lean
refactor(WithZeroTopology): use `nhdsAdjoint` (#10411) …
Added nhds_nhdsAdjoint_sameView on Github →