Theorem comap_coe_nhdsGT_eq_atBot_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_nhdsGT_eq_atBot_iffView on Github →