Theorem Fin.attachFin_uIcc

Modification history

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