Theorem MeasureTheory.Lp.norm_const

Modification history