basic): Rename hypotheses for clarity (#5318)

Commit

5 years ago

chore(algebra/big_operators/basic): Rename hypotheses for clarity (#5318) This makes them somewhat more consistent with `prod_bij`

Author

eric-wieser

Parents