Theorem MeasureTheory.SimpleFunc.map_restrict_of_zero

Modification history