Theorem Finset.fin_map

Modification history

2025-04-08 16:19

Mathlib/Data/Finset/Fin.lean

chore(Data/Finset): deprecate Finset.fin (#23830)

Modified Finset.fin_map View on Github →

2025-04-06 17:06

Mathlib/Data/Finset/Fin.lean

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

Modified Finset.fin_map View on Github →

2023-01-16 11:54

Mathlib/Data/Finset/Image.lean

feat: port Data.Finset.Image (#1586)

Added Finset.fin_map View on Github →