mathlib3
e059fdf9 - feat(algebra/big_operators/basic): mk0_prod (#13582)

Commit
3 years ago
feat(algebra/big_operators/basic): mk0_prod (#13582) Co-authored-by: Alex J Best <alex.j.best@gmail.com>
Author
Parents
Loading