Theorem MeasureTheory.snorm_trim

Modification history