The factorization type of a monic polynomial over `O` (viewed over the fraction field) is invariant under the Taylor shift `X ↦ X + θ`.

Initializing...

The factorization type of a monic polynomial over `O` (viewed over the fraction field) is invariant under the Taylor shift `X ↦ X + θ`. · Prove2Me