Theorem Finset.card_add_card_subsetSum_lt_card_subsetSum_insert_max

Modification history

2025-12-05 16:31
Mathlib/Combinatorics/Additive/SubsetSum.lean
feat(Combinatorics/Additive): subset-sum definition and basic properties (#31689) …
Added Finset.card_add_card_subsetSum_lt_card_subsetSum_insert_maxView on Github →