Structure Mathlib.Meta.FunProp.FunctionData

Modification history