Theorem MeasureTheory.MeasurePreserving.set_lintegral_comp_preimage

Modification history