The multiplicity of an affine direction `φ` in `c · divisorAffinePolynomial Dv` is `Dv φ`;

Initializing...

The multiplicity of an affine direction `φ` in `c · divisorAffinePolynomial Dv` is `Dv φ`; · Prove2Me