Theorem MeasureTheory.L2.snorm_rpow_two_norm_lt_top

Modification history