Def Mathlib.Meta.FunProp.fvarAppCase

Modification history