finprod): add div lemmas (#10472)

Commit

4 years ago

feat(algebra/big_operators/finprod): add div lemmas (#10472) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

mariainesdff

Parents