P

Initializing...

Partitioner wins the $r$-partitioning game on every countable graph, for every ordinal $r$ · Prove2Me