Def Mathlib.Meta.FunProp.tryTheorem?

Modification history