P
Initializing...
A quartic bound for two squared symmetric forms · Prove2Me