Theorem MeasureTheory.MeasurePreserving.restrict_preimage

Modification history