Theorem MeasureTheory.SimpleFunc.map_apply

Modification history