mathlib
8ef783b4 - feat(measure_theory/measure): drop more `measurable_set` args (#11547)

Commit

3 years ago

feat(measure_theory/measure): drop more `measurable_set` args (#11547) Most notably, in `measure_Union_eq_supr`.

Author

urkud

Parents