Machine Proof of a Theorem on Cubic Residues

From MaRDI portal
Publication:3290765