Theorem BoxIntegral.Box.unionᵢ_coe_splitCenterBox

Modification history

2023-05-14 07:05
Mathlib/Analysis/BoxIntegral/Box/SubboxInduction.lean
chore: Rename to `sSup`/`iSup` (#3938) …
Deleted BoxIntegral.Box.unionᵢ_coe_splitCenterBoxView on Github →
2023-04-17 10:44
Mathlib/Analysis/BoxIntegral/Box/SubboxInduction.lean
feat: port Analysis.BoxIntegral.Box.SubboxInduction (#3440)
Added BoxIntegral.Box.unionᵢ_coe_splitCenterBoxView on Github →