Theorem MeasureTheory.SimpleFunc.norm_approxOn_y₀_le

Modification history