P
Initializing...
Lemma 5: immune 14-regular bipartite graphs of arbitrary girth · Prove2Me