Theorem MeasureTheory.SimpleFunc.map_snd_pair

Modification history