Theorem MeasureTheory.IsProjectiveMeasureFamily.congr_cylinder_of_subset

Modification history