mathlib

ecb66ca5 - chore(tactic/group): do not swallow errors from simp_core (#15835)

chore(tactic/group): do not swallow errors from simp_core (#15835) This probably doesn't make much difference, but it's better to silence only the error we expect (no progress being made), and not all errors that could ever possibly happen.