The Frobenius orbit products of the irreducible factors of `F` descend to distinct monic irreducible polynomials over `Frac O` whose product is the conjugate product of `F`.

Initializing...

The Frobenius orbit products of the irreducible factors of `F` descend to distinct monic irreducible polynomials over `Frac O` whose product is the conjugate product of `F`. · Prove2Me