Membership in $\mathrm{PlaneCurveZeroSet}\,p$ holds exactly when $p$ evaluates to zero at $x$

Initializing...

Membership in $\mathrm{PlaneCurveZeroSet}\,p$ holds exactly when $p$ evaluates to zero at $x$ · Prove2Me