Theorem MeasureTheory.setIntegral_univ

Modification history

2024-10-12 07:45

Mathlib/MeasureTheory/Integral/SetIntegral.lean

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

Added MeasureTheory.setIntegral_univ View on Github →