Theorem Polynomial.Monic.add_of_right

Modification history