P
Initializing...
Corollary 44, p. 29 — no empty squares in a good complex C gives d_N(B(C, r)) ≤ 1 for every proper coloring r · Prove2Me