Theorem MeasureTheory.SimpleFunc.pair_preimage

Modification history