Theorem Set.inv_Ioc

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.inv_IocView on Github →