Theorem Polynomial.root_or_root_of_root_mul

Modification history