The descent of a block lies in the residue cell of `residuePoly Φ ^ r`, and its monic polynomial lifts to the conjugate product of the block.

Initializing...

The descent of a block lies in the residue cell of `residuePoly Φ ^ r`, and its monic polynomial lifts to the conjugate product of the block. · Prove2Me