Theorem Finset.coe_fin

Modification history

2025-04-06 17:06

Mathlib/Data/Finset/Fin.lean

feat(Finset/Fin): expand `attachFin` API (#23703) …

Modified Finset.coe_fin View on Github →

2025-03-03 10:07

Mathlib/Data/Finset/Image.lean

feat(Finset/Image): add `Finset.coe_fin` (#22487) …

Added Finset.coe_fin View on Github →