Theorem MeasureTheory.SimpleFunc.coe_map

Modification history