Def Mathlib.Meta.FunProp.constAppCase

Modification history