Theorem Finset.card_triple_eq_three_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_triple_eq_three_iffView on Github →