Theorem Polynomial.roots_smul_nonzero

Modification history