Def Lean.Meta.Simp.simpTheoremsOfNames

Modification history