Theorem BoxIntegral.Box.injective_splitCenterBox

Modification history

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