Mathlib v3 is deprecated. Go to Mathlib v4

Theorem symm_diff_right_comm

Modification history

2022-04-19 20:26
src/order/symm_diff.lean
feat(*): `op_op_op_comm` lemmas (#13528) …
Added symm_diff_right_commView on Github →