P
Initializing...
A quadratic-form bound on a sphere-plane intersection · Prove2Me