P
Initializing...
In components: $\det V=-\tfrac12(V^i)^2$ and $\operatorname{tr}(V^2)=(V^i)^2$ · Prove2Me