# Documentation

Lean.Meta.Tactic.LinearArith.Nat.Basic

Equations
Equations
@[inline]
Equations
@[inline]
Equations
@[inline]
Equations
Equations
Equations
Equations
• One or more equations did not get rendered due to their size.
Equations
Equations
Equations
• One or more equations did not get rendered due to their size.
• varMap :
• vars :
Instances For
@[inline]
Equations
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations