Mathlib Changelog
v4
Changelog
About
Github
Theorem
finprod_option
Modification history
2025-01-13 10:02
Mathlib/Algebra/BigOperators/Finprod.lean
feat: `(∏ᶠ i, f i) a = ∏ᶠ i, f i a` (#20203) …
Added
finprod_option
View on Github →