Def Mathlib.Meta.FunProp.getTheoremFromConst

Modification history