Theorem Finset.attach_cons

Modification history

2025-10-31 10:48
Mathlib/Data/Finset/Image.lean
feat(Finset): interaction of `attach` and `cons` (#31025) …
Added Finset.attach_consView on Github →