Theorem Finpartition.sum_card_parts
Modification history
2024-10-23 02:43
Mathlib/Order/Partition/Finpartition.lean
chore: use newly introduced finset notation (#17974) …
Modified Finpartition.sum_card_partsView on Github →2024-05-27 08:32
Mathlib/Order/Partition/Finpartition.lean
chore: Use the new `∑ i ∈ s, f i` notation (#13209) …
Modified Finpartition.sum_card_partsView on Github →