`K`-isomorphic root fields of monic irreducibles `g, g'` (with finite closure) have the same factor invariant.

Initializing...

`K`-isomorphic root fields of monic irreducibles `g, g'` (with finite closure) have the same factor invariant. · Prove2Me