Theorem MeasureTheory.Measure.restrict_sInf_eq_sInf_restrict

Modification history