Theorem Fin.sum_const

Modification history

2023-07-02 10:21
Mathlib/Algebra/BigOperators/Fin.lean
fix: `∑'` precedence (#5615) …
Modified Fin.sum_constView on Github →
2023-02-01 16:48
Mathlib/Algebra/BigOperators/Fin.lean
feat: port Algebra.BigOperators.Fin (#1848)
Added Fin.sum_constView on Github →