Theorem Finset.card_pair_eq_two_iff

Modification history

2026-05-25 22:55
Mathlib/Data/Finset/Card.lean
feat(Data/Finset/Card): add card_{pair,triple}_eq_iff (#39840) …
Added Finset.card_pair_eq_two_iffView on Github →