Def Mathlib.Meta.FunProp.bvarAppCase

Modification history