Theorem comap_coe_nhdsLT_eq_atTop_iff

Modification history

2026-01-31 16:38
Mathlib/Topology/Order/AtTopBotIxx.lean
feat: generalize some lemmas about linear ordered topological spaces (#33863) …
Added comap_coe_nhdsLT_eq_atTop_iffView on Github →