P
Initializing...
Theorem 14.12 -- self-reducibility of proper colorings · Prove2Me