Theorem Polynomial.eval_add_of_sq_eq_zero

Modification history