mathlib3

fix(tactic/lint): simp_nf: do not ignore errors

#2266

Merged