mathlib

d39c95d8 - chore(data/equiv/mul_add): split out lemmas about groups into a new file