Theorem Polynomial.rootMultiplicity_mul_X_sub_C_pow

Modification history