Theorem: succ_neq_zero (Test/Nat/NeqZero.lean)

State before:
⊢ ∀ (x : ℕ), x + 1 ≠ 0
Tactic:
admit
State after:
no goals