mathlib3

343e8020 - chore(measure_theory/measure/outer_measure): lemmas about zero and top (#18983)