Theorem MeasureTheory.StronglyMeasurable.Finset.stronglyMeasurable_prod_apply

Modification history