P
Initializing...
Intersection bound for an irreducible curve with a partial-derivative factor · Prove2Me