mathlib

ac156c15 - chore(algebra/algebra/basic): add algebra.right_comm to match left_comm (#8109)

chore(algebra/algebra/basic): add algebra.right_comm to match left_comm (#8109) This also reorders the arguments to `right_comm` to match the order they appear in the LHS of the lemma.