Formal target: Corpus.WikipediaPell.infinite_pellNumber_primes

There are infinitely many prime Pell numbers

Exact formal statement

Infinite.{1} (Set.Elem.{0} (Set.ofPred.{0} fun n => Prime.{0} (Corpus.WikipediaPell.pellNumber n)))

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

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record