Def Mathlib.Meta.FunProp.applyConstRule

Modification history