Theorem MeasureTheory.setIntegral_congr_set

Modification history

2024-10-12 07:45

Mathlib/MeasureTheory/Integral/SetIntegral.lean

chore(MeasureTheory/Integral/SetIntegral): fix lemma names (#17658) …

Added MeasureTheory.setIntegral_congr_set View on Github →