Structure Mathlib.Meta.FunProp.FunPropDecls

Modification history