Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-11 01:08 426227d4

View on Github →

chore(algebra/group/basic): add 3 simp attrs (#9050)

Estimated changes

modified theorem sub_add_sub_cancel
added theorem sub_sub_cancel_left
modified theorem sub_sub_sub_cancel_right