P
Initializing...
A quartic ratio with a triple-product correction · Prove2Me