Theorem Polynomial.nnqsmul_eq_C_mul

Modification history