Theorem BoxIntegral.Box.exists_mem_splitCenterBox

Modification history

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