P
Initializing...
compact g2: rank 2 and Cartan from b1 · Prove2Me