P
Initializing...
A symmetric sixth-degree comparison with triple-product terms · Prove2Me