`O`-isomorphic integral DVR extensions of a DVR `O` have the same ramification index and inertia degree.

Initializing...

`O`-isomorphic integral DVR extensions of a DVR `O` have the same ramification index and inertia degree. · Prove2Me