P
Initializing...
Existence of a strongly regular graph with parameters $(9,4,1,2)$ · Prove2Me