Def Mathlib.Meta.FunProp.isFVarFunProp

Modification history