Formal target: Corpus.OEIS182510.conjecture1

Conjecture: the sequence contains 8 zeros.

Exact formal statement

Eq.{1} (Set.ncard.{0} (Set.ofPred.{0} fun n => Eq.{1} (Corpus.OEIS182510.a n) 0)) 8

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

Environment availability: available.