Def BoxIntegral.Box.splitCenterBoxEmb

Modification history

2023-04-17 10:44

Mathlib/Analysis/BoxIntegral/Box/SubboxInduction.lean

feat: port Analysis.BoxIntegral.Box.SubboxInduction (#3440)

Added BoxIntegral.Box.splitCenterBoxEmb View on Github →