Formal target: Corpus.OEIS86766.conjecture2

Conjecture: If $n$ is not of the form $10^m$ then $a(n)$ is nonzero.

Exact formal statement

∀ (n : Nat), LT.lt.{0} 0 n → (∀ (m : Nat), Ne.{1} n (HPow.hPow.{0, 0, 0} 10 m)) → Ne.{1} (Corpus.OEIS86766.a n) 0

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

Environment availability: available.