Theorem List.sum_toFinset_count_eq_length

Modification history

2024-06-07 11:39
Mathlib/Algebra/BigOperators/Group/Finset.lean
feat: Define Hamiltonian paths and cycles (#7102)
Added List.sum_toFinset_count_eq_lengthView on Github →