Skip to content

Erdős problem 723

Start work

If there is a finite projective plane of order nn then must nn be a prime power?

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

723.lean

Retained formal statement3 of 5

It is open whether there exists a projective plane of order 12.

FormalConjectures/ErdosProblems/723.leanErdos723.erdos_723.variants.eq_121 lineExact file
True ↔ ∃ P L x x_1 x_2 pp, Configuration.ProjectivePlane.order P L = 12
OpenStatement only, no proof