Def Lean.Expr.isConstantApplication

Modification history