Theorem Set.Ioi_disjoint_Iio_of_not_lt

Modification history

2025-05-07 15:35
Mathlib/Order/Interval/Set/Disjoint.lean
feat: Metric Spaces are T6 (#22256) …
Added Set.Ioi_disjoint_Iio_of_not_ltView on Github →