Theorem Set.Ioc_disjoint_Ioi_same

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_sameView on Github →