For `g` irreducible and separable over `Frac O`, the integral closure of `O` in `K[X]/(g)` is a finite `O`-module.

Initializing...

For `g` irreducible and separable over `Frac O`, the integral closure of `O` in `K[X]/(g)` is a finite `O`-module. · Prove2Me