Theorem MeasureTheory.Measure.restrict_prod_eq_prod_univ

Modification history