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