Structure Mathlib.Meta.FunProp.FunPropDecl

Modification history