P
Initializing...
Wilbrink: an automorphism of prime order $p>7$ of a $(99,14,1,2)$ graph is fixed-point-free · Prove2Me