mathlib

0b480ff9 - feat(measure_theory/measure): `measure_Union_null_iff` for Props (#17029)

feat(measure_theory/measure): `measure_Union_null_iff` for Props (#17029) from #2819, this enables the simplifier to deal with proving measure zero-ness of a Union indexed by elements satisfying some condition