Def Mathlib.Tactic.Lint.heuristicallyExtractSimpLemmasCore

Modification history