Def Mathlib.Meta.FunProp.applyMorRules

Modification history