P
Initializing...
Proposition 46, p. 31 — the coset complex of Theorem 45 has dimension d − 1, is good and has no empty squares · Prove2Me