Conjectural uncapped automorphisms in the E8 building over F2
E8(2) uncapped-automorphism conjecture. Let
MathDB