Theorem Set.finite_interval

Modification history

2026-02-03 23:50
Mathlib/Order/Interval/Finset/Defs.lean
chore(Order/Interval/Finset): make simp stronger (#34807) …
Deleted Set.finite_intervalView on Github →
2023-07-17 02:18
Mathlib/Order/LocallyFinite.lean
feat: `finset.uIcc` on concrete structures (#5946) …
Added Set.finite_intervalView on Github →