Theorem BoxIntegral.integral_neg

Modification history

2024-08-05 13:16
Mathlib/Analysis/BoxIntegral/Basic.lean
chore: remove some open Classical, part 3 (#15417) …
Modified BoxIntegral.integral_negView on Github →
2023-06-06 15:53
Mathlib/Analysis/BoxIntegral/Basic.lean
feat: port Analysis.BoxIntegral.Basic (#4695)
Added BoxIntegral.integral_negView on Github →