Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.Ioc_disjoint_Ioi
Modification history
2023-10-15 14:04
Mathlib/Data/Set/Intervals/Disjoint.lean
feat: remove sigma-finiteness assumption in layercake formula (#7454) …
Added
Set.Ioc_disjoint_Ioi
View on Github →