Theorem Finset.coe_attach

Modification history

2025-10-24 11:00

Mathlib/Data/Finset/Attach.lean

chore(Data): `SetLike Finset` (#28241)

Modified Finset.coe_attach View on Github →

2025-03-28 10:45

Mathlib/Data/Finset/Attach.lean

feat(Finset/Attach): add `coe_attach` (#23391)

Added Finset.coe_attach View on Github →