Theorem MeasureTheory.restrict_Iio_eq_restrict_Iic

Modification history