Commit 2021-02-08 10:21 e4369fe3

chore(algebra/module/prod): add missing instances (#6055) This adds the following instances for prod:

• is_scalar_tower
• smul_comm_class
• mul_action
• distrib_mul_action It also renames the type variables to match the usual convention for modules