Def Lean.Expr.zero?

Modification history