Def Mathlib.Tactic.Lint.heuristicallyExtractSimpLemmas

Modification history