P
Initializing...
Finite-intersection B\u00e9zout bound for real plane curves (existential form) · Prove2Me