Mathlib Changelog
v4
Changelog
About
Github
Theorem
List.prod_eq_foldl
Modification history
2024-10-14 08:17
Mathlib/Algebra/BigOperators/Group/List.lean
chore: use foldr in List.prod (#17223) …
Added
List.prod_eq_foldl
View on Github →