Theorem MeasureTheory.SimpleFunc.inv_apply

Modification history