Theorem Fin.attachFin_Ioo_eq_Ioi

Modification history

2025-04-07 15:42
Mathlib/Order/Interval/Finset/Fin.lean
refactor(Interval/Finset/Fin): use `Finset.attachFin` (#23738) …
Added Fin.attachFin_Ioo_eq_IoiView on Github →