Theorem MeasureTheory.SimpleFunc.extend_apply

Modification history