P
Initializing...
Entrywise Quadratic Energy Trace Identity · Prove2Me