Browse
Claims
Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.
The Abhyankar–Moh theorem (mid-1970s) on embeddings of the affine line in the affine plane and the related epimorphism/irreducibility results, used to settle the two-variable case of the Jacobian problem. Claims about the theorem, its proof, its authors' work on the two-dimensional Jacobian case, and extensions belong here.
Contribute
If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.