Theorem MeasureTheory.SimpleFunc.map_preimage

Modification history