mathlib

f7e82d06 - feat(tactic/lint): check for redundant simp lemmas (#2066)

feat(tactic/lint): check for redundant simp lemmas (#2066) * chore(*): fix simp lemmas * feat(tactic/lint): check for redundant simp lemmas Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>