P
Initializing...
Zauner's conjecture for dimensions d >= 2 · Prove2Me