Theorem Finset.fin_subset_fin

Modification history

2025-04-06 17:06
Mathlib/Data/Finset/Fin.lean
feat(Finset/Fin): expand `attachFin` API (#23703) …
Modified Finset.fin_subset_finView on Github →
2025-03-03 10:07
Mathlib/Data/Finset/Image.lean
feat(Finset/Image): add `Finset.coe_fin` (#22487) …
Added Finset.fin_subset_finView on Github →