Theorem MeasureTheory.SimpleFunc.map_preimage_singleton

Modification history