basic): Split prod_cancels_of_partition_cancels in two and add a docstring (#5218)

Commit

5 years ago

chore(algebra/big_operators/basic): Split prod_cancels_of_partition_cancels in two and add a docstring (#5218)

Author

eric-wieser

Parents