Assuming the root cell law, the set of monic polynomials of degree `n` over `O` with factorization type `σ` is measurable.

Initializing...

Assuming the root cell law, the set of monic polynomials of degree `n` over `O` with factorization type `σ` is measurable. · Prove2Me