Theorem MeasureTheory.IsProjectiveMeasureFamily.measure_univ_eq_of_subset

Modification history