Def Mathlib.Meta.FunProp.mkUncurryFun

Modification history