Theorem Set.finite_uIcc

Modification history

2026-02-03 23:50
Mathlib/Order/Interval/Finset/Defs.lean
chore(Order/Interval/Finset): make simp stronger (#34807) …
Added Set.finite_uIccView on Github →