Theorem MeasureTheory.SimpleFunc.coe_restrict

Modification history