Def Lean.Meta.Simp.addSimpAttrFromSyntax

Modification history