Theorem Polynomial.le_gaussNorm

Modification history