mathlib
a0a21774 - feat(data/support): add `function.mul_support` (#6791)

Commit

4 years ago

feat(data/support): add `function.mul_support` (#6791) This will help us add `finprod` in #6355

Author

urkud

Parents