Theorem Polynomial.zero_comp

Modification history