Def Lean.Meta.Simp.Result.ofTrue

Modification history