Theorem Finset.card_sub_card_eq

Modification history

2025-12-31 20:48
Mathlib/Data/Finset/Card.lean
feat: Have equality form for `#t - #s` in addition to the inequality (#33419)
Added Finset.card_sub_card_eqView on Github →