**Monic cell partition.** The monic polynomials of degree `n` over `O` are partitioned into the residue cells of the affine divisors of degree `n` over the residue field: there are finitely many such

Initializing...

**Monic cell partition.** The monic polynomials of degree `n` over `O` are partitioned into the residue cells of the affine divisors of degree `n` over the residue field: there are finitely many such · Prove2Me