Theorem Fin.prod_Ici_succ

Modification history

2025-05-15 20:21
Mathlib/Algebra/BigOperators/Fin.lean
feat(BigOperators/Fin): lemmas about summation over intervals (#24358) …
Added Fin.prod_Ici_succView on Github →