A squarefree monic polynomial whose irreducible factors have finite closures has a type.

Initializing...

A squarefree monic polynomial whose irreducible factors have finite closures has a type. · Prove2Me