Theorem MeasureTheory.setIntegral_congr_fun

Modification history

2024-10-12 07:45
Mathlib/MeasureTheory/Integral/SetIntegral.lean
chore(MeasureTheory/Integral/SetIntegral): fix lemma names (#17658) …
Added MeasureTheory.setIntegral_congr_funView on Github →