For a finite family of monic, pairwise coprime polynomials, the product has type `σ` exactly when `σ` is the sum of types of the factors.

Initializing...

For a finite family of monic, pairwise coprime polynomials, the product has type `σ` exactly when `σ` is the sum of types of the factors. · Prove2Me