Theorem Poly.sumsq_nonneg

Modification history