Theorem Set.Ioo_sub_one_left_eq_Ico

Modification history

2026-09-03 14:21
Mathlib/Algebra/Order/Interval/Set/SuccPred.lean
chore(Order/Interval/Set/SuccPred): use `to_dual` (#43366) …
Added Set.Ioo_sub_one_left_eq_IcoView on Github →