Theorem Polynomial.gaussNorm_nonneg

Modification history