Mathlib Changelog
v4
Changelog
About
Github
Theorem
List.sum_toFinset_count_eq_length
Modification history
2025-04-19 14:06
Mathlib/Algebra/BigOperators/Group/Finset/Basic.lean
chore(Algebra/BigOperators/Group/Finset/Basic): use meaningful letter names (#24123) …
Modified
List.sum_toFinset_count_eq_length
View on Github →
2024-06-07 11:39
Mathlib/Algebra/BigOperators/Group/Finset.lean
feat: Define Hamiltonian paths and cycles (#7102)
Added
List.sum_toFinset_count_eq_length
View on Github →