Theorem Finset.sum_count_of_mem_sym

Modification history

2025-03-05 14:00

Mathlib/Algebra/BigOperators/Sym.lean

feat(Algebra/BigOperators/Sym): add sum_range_count_of_mem_sym (#22391)

Added Finset.sum_count_of_mem_sym View on Github →