A normal integral basis theorem (Q5905864)

From MaRDI portal