Theorem MeasureTheory.SimpleFunc.restrict_preimage_singleton

Modification history