Commit 2021-06-28 20:13 ac156c15
View on Github →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.
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.