Theorem MeasureTheory.SimpleFunc.coe_toLargerSpace_eq

Modification history