Theorem MeasureTheory.SimpleFunc.pow_apply

Modification history