Theorem Poly.sumsq_eq_zero

Modification history