Theorem BoxIntegral.Box.subbox_induction_on'

Modification history

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