Theorem MeasureTheory.restrict_Ico_eq_restrict_Icc

Modification history