def Lean.Meta.Simp.Arith.parentIsTarget (parent? : Option Expr) (isNatExpr : Bool) : Bool

Equations

• One or more equations did not get rendered due to their size.
• Lean.Meta.Simp.Arith.parentIsTarget none isNatExpr = false