Theorem Set.uIoc_union_uIoc

Modification history

2025-04-14 15:20
Mathlib/Order/Interval/Set/UnorderedInterval.lean
feat(IntervalIntegral): add `IntervalIntegrable.trans_iff` etc (#24009)
Added Set.uIoc_union_uIocView on Github →