P

Initializing...

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