Theorem Set.Icc_mul_Icc

Modification history

2024-11-25 17:50
Mathlib/Algebra/Order/Group/Pointwise/Interval.lean
feat: `Icc a b + Icc c d = Icc (a + c) (b + d)` (#19398) …
Added Set.Icc_mul_IccView on Github →