Def Mathlib.Meta.FunProp.proveFVarFunPropFromLocalTheorems

Modification history