mathlib
c3034c27 - feat(data/indicator_function): add multiplicative version (#6794)

Commit

4 years ago

feat(data/indicator_function): add multiplicative version (#6794) We need it for `finprod`

Author

urkud

Parents