Def Mathlib.Meta.FunProp.Mor.isCoeFun

Modification history