Mathlib Changelog
v4
Changelog
About
Github
Theorem
Fin.sum_neg_one_pow
Modification history
2025-02-07 17:17
Mathlib/Algebra/BigOperators/Fin.lean
feat(Algebra/Homology): the alternating constant complex (#21558)
Added
Fin.sum_neg_one_pow
View on Github →