Theorem MeasureTheory.Measure.iSup_restrict_spanningSets

Modification history