Theorem CovBy.Ioo_eq_Ioc

Modification history

2026-04-08 16:40
Mathlib/Order/Cover.lean
chore: remove unneeded `to_dual existing` (#37778) …
Deleted CovBy.Ioo_eq_IocView on Github →
2026-02-13 02:37
Mathlib/Order/Cover.lean
feat: order topologies of successor orders (#32455)
Added CovBy.Ioo_eq_IocView on Github →