The invariants `(e, f)` of the integral closure of `O` in a finite extension `L/K` (assumed finite over `O`) depend only on the `K`-isomorphism class of `L`.

Initializing...

The invariants `(e, f)` of the integral closure of `O` in a finite extension `L/K` (assumed finite over `O`) depend only on the `K`-isomorphism class of `L`. · Prove2Me