Theorem Fin.prod_Ioi_zero
Modification history
2025-05-15 20:21
Mathlib/Algebra/BigOperators/Fin.lean
feat(BigOperators/Fin): lemmas about summation over intervals (#24358) …
Modified Fin.prod_Ioi_zeroView on Github →2025-05-01 06:42
Mathlib/Algebra/BigOperators/Fin.lean
chore(BigOperators/Fin): sections, type variables (#24197) …
Modified Fin.prod_Ioi_zeroView on Github →