Def Mathlib.Meta.FunProp.logError

Modification history