Theorem Finset.attachFin_ssubset_attachFin_iff

Modification history

2025-04-06 17:06
Mathlib/Data/Finset/Fin.lean
feat(Finset/Fin): expand `attachFin` API (#23703) …
Added Finset.attachFin_ssubset_attachFin_iffView on Github →