Def Mathlib.Meta.FunProp.addTheorem

Modification history