Theorem Set.finite_interval

Modification history

2023-07-17 02:18
Mathlib/Order/LocallyFinite.lean
feat: `finset.uIcc` on concrete structures (#5946) …
Added Set.finite_intervalView on Github →