Theorem Set.preimage_neg_uIcc

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) …
Modified Set.preimage_neg_uIccView on Github →
2023-02-01 14:01
Mathlib/Data/Set/Pointwise/Interval.lean
feat: port Data.Set.Pointwise.Interval (#1481) …
Added Set.preimage_neg_uIccView on Github →