P
Initializing...
Antisymmetrized raised covariant derivative and $G$ · Prove2Me