P
Initializing...
A weighted cyclic ratio lower bound with a triple-product correction · Prove2Me