Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebra.right_comm

Modification history

2021-06-28 20:13
src/algebra/algebra/basic.lean
chore(algebra/algebra/basic): add algebra.right_comm to match left_comm (#8109) …
Added algebra.right_commView on Github →