Def Mathlib.Meta.FunProp.applyCompRule

Modification history