Theorem MeasureTheory.restrict_Ico_eq_restrict_Ioc

Modification history