Def Mathlib.Meta.FunProp.tryTheorems

Modification history