Theorem MeasureTheory.SimpleFunc.range_const_subset

Modification history