On a theorem of Thaine

From MaRDI portal
Publication:730055