Mathlib Changelog
v4
Changelog
About
Github
Theorem
Fin.prod_uIcc_cast
Modification history
2025-05-15 20:21
Mathlib/Algebra/BigOperators/Fin.lean
feat(BigOperators/Fin): lemmas about summation over intervals (#24358) …
Added
Fin.prod_uIcc_cast
View on Github →