Theorem MeasureTheory.IsProjectiveMeasureFamily.congr_cylinder

Modification history