Mathlib v3 is deprecated. Go to Mathlib v4

Theorem box_integral.box.lower_ne_upper

Modification history

2022-01-26 09:10

src/analysis/box_integral/box/basic.lean

feat(topology/*): replace some `a < b` assumptions with `a ≠ b` (#11650)

Added box_integral.box.lower_ne_upper View on Github →