finprod): finite product of power is power of finite product (#12655)

Commit

4 years ago

feat(algebra/big_operators/finprod): finite product of power is power of finite product (#12655)

Author

Multramate

Parents