Along a finite separable extension `K'/K`, the image of an irreducible polynomial stays squarefree (`K' ⊗_K K[X]/(g)` is formally unramified over the field `K[X]/(g)`, hence reduced).

Initializing...

Along a finite separable extension `K'/K`, the image of an irreducible polynomial stays squarefree (`K' ⊗_K K[X]/(g)` is formally unramified over the field `K[X]/(g)`, hence reduced). · Prove2Me