defs): weaken assumptions of `mul_smul_comm` and `smul_mul_assoc` (#8972)

Commit

4 years ago

chore(group_theory/group_action/defs): weaken assumptions of `mul_smul_comm` and `smul_mul_assoc` (#8972)

Author

eric-wieser

Parents