Theorem MeasureTheory.SimpleFunc.coe_pow

Modification history