Mathlib v3 is deprecated. Go to Mathlib v4

Theorem symm_diff_left_comm

Modification history

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