A sharp Bézout domain is an elementary divisor ring

From MaRDI portal
Publication:2259526