Theorem MeasureTheory.SimpleFunc.pair_preimage_singleton

Modification history