Theorem Fin.attachFin_Ico_eq_Ici

Modification history

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