Theorem BoxIntegral.Box.splitCenterBox_le

Modification history

2023-04-17 10:44
Mathlib/Analysis/BoxIntegral/Box/SubboxInduction.lean
feat: port Analysis.BoxIntegral.Box.SubboxInduction (#3440)
Added BoxIntegral.Box.splitCenterBox_leView on Github →