Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.Iio_disjoint_Ioi_same
Modification history
2025-05-07 15:35
Mathlib/Order/Interval/Set/Disjoint.lean
feat: Metric Spaces are T6 (#22256) …
Added
Set.Iio_disjoint_Ioi_same
View on Github →