mathlib

3007f24c - chore(*): use `*_*_*_comm` where possible (#12372)

chore(*): use `*_*_*_comm` where possible (#12372) These lemmas are quite helpful when proving `map_add` type statements; hopefully people will remember them more if they see them used in a few more places.