Theorem comap_coe_Ioo_nhdsLT

Modification history

2026-01-31 16:38
Mathlib/Topology/Order/AtTopBotIxx.lean
feat: generalize some lemmas about linear ordered topological spaces (#33863) …
Modified comap_coe_Ioo_nhdsLTView on Github →
2024-12-23 08:37
Mathlib/Topology/Order/DenselyOrdered.lean
chore(*): rename lemmas about `𝓝[≥] a` etc (#20188) …
Added comap_coe_Ioo_nhdsLTView on Github →