Theorem Set.compl_prod_eq_union

Modification history

2023-09-13 14:54
Mathlib/Data/Set/Prod.lean
chore: generalize layercake formulas to null-measurable and a.e.-nonnegative functions (#6936) …
Added Set.compl_prod_eq_unionView on Github →