Commit 2021-09-04 00:27 464c3d73
View on Github →chore(group_theory/group_action/defs): weaken assumptions of mul_smul_comm and smul_mul_assoc (#8972)
chore(group_theory/group_action/defs): weaken assumptions of mul_smul_comm and smul_mul_assoc (#8972)