P
Initializing...
The active triple closes as $\mathfrak{su}(2)$ · Prove2Me