Theorem MeasureTheory.setIntegral_gt_gt

Modification history

2024-07-12 23:56

Mathlib/MeasureTheory/Integral/SetIntegral.lean

feat(MeasureTheory): drop measurability assumptions here and there (#14680)

Modified MeasureTheory.setIntegral_gt_gt View on Github →

2024-04-18 02:39

Mathlib/MeasureTheory/Integral/SetIntegral.lean

chore: replace `set_integral` with `setIntegral` (#12215) …

Added MeasureTheory.setIntegral_gt_gt View on Github →