P
Initializing...
so(32): rank 16 and the displayed Cartan basis · Prove2Me