Theorem MeasureTheory.addHaar_image_le_lintegral_abs_det_fderiv

Modification history