Theorem MeasureTheory.exists_continuous_snorm_sub_le_of_closed

Modification history