Theorem MeasureTheory.SimpleFunc.apply_mk

Modification history