Theorem MeasureTheory.MeasurePreserving.setIntegral_preimage_emb

Modification history