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

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