Theorem MeasureTheory.snorm_neg

Modification history