Formal target: Corpus.OEIS100800.conjecture

A100800 Conjecture: No term is zero.

Exact formal statement

∀ (n : Nat), Ne.{1} n 0 → Ne.{1} (Corpus.OEIS100800.a n) 0

This target is a formal statement, not a proof of the problem.

Environment availability: available.