Assuming the root cell law, the projective cell of a divisor with array `m` has law `arrayLaw m` for affine type events.

Initializing...

Assuming the root cell law, the projective cell of a divisor with array `m` has law `arrayLaw m` for affine type events. · Prove2Me