**Monic cell law.** Assuming the root cell law, the residue cell of an affine divisor with array `m` has law `arrayLaw m`.

Initializing...

**Monic cell law.** Assuming the root cell law, the residue cell of an affine divisor with array `m` has law `arrayLaw m`. · Prove2Me