Theorem MeasureTheory.Measure.restrict_sub_eq_restrict_sub_restrict

Modification history