mathlib3
2c31f6f5
- fix prod_ite as well
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
fix prod_ite as well
References
#2223 - feat(algebra/ring): generalize mul_ite
Author
kim-em
Parents
b8c7f28d
Loading