Def Mathlib.Meta.FunProp.tryLocalTheorems

Modification history