Distinct Frobenius conjugates of the monic polynomial of a block are coprime over the fraction field of `O[X]/(Φ)`.

Initializing...

Distinct Frobenius conjugates of the monic polynomial of a block are coprime over the fraction field of `O[X]/(Φ)`. · Prove2Me