Theorem MeasureTheory.lintegral_norm_eq_lintegral_edist

Modification history