feat(measure_theory/measure/measure_space): add variants of ae_restrict_Union_eq (#16370)
ae_restrict_Union_eq