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