Theorem MeasureTheory.SimpleFunc.map_coe_ennreal_restrict

Modification history