Def Mathlib.Meta.FunProp.synthesizeArgs

Modification history