Theorem MeasureTheory.IsProjectiveLimit.measure_univ_eq

Modification history