Theorem MeasureTheory.snorm_norm_rpow

Modification history