Theorem Fin.attachFin_Iic

Modification history

2025-04-07 15:42

Mathlib/Order/Interval/Finset/Fin.lean

refactor(Interval/Finset/Fin): use `Finset.attachFin` (#23738) …

Added Fin.attachFin_Iic View on Github →