P
Initializing...
Wilbrink (Theorem 5): the orbit matrix of an order-$11$ automorphism of a $(99,14,1,2)$ graph does not exist · Prove2Me