Theorem MeasureTheory.restrict_Ioo_eq_restrict_Icc

Modification history