mathlib3

6417fad0 - maybe this is useful, for many lemmas we otherwise generate too many useless simp lemmas