Theorem MeasureTheory.restrict_Ioo_eq_restrict_Ioc

Modification history