Theorem MeasureTheory.FinStronglyMeasurable.aefinStronglyMeasurable

Modification history