Theorem Fin.attachFin_Iio

Modification history

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