Theorem MeasureTheory.SimpleFunc.restrict_empty

Modification history