Def Mathlib.Meta.FunProp.FunctionData.unfold?

Modification history