Theorem MeasureTheory.SimpleFunc.restrict_apply

Modification history