Theorem MeasureTheory.snorm'_norm_rpow

Modification history