Theorem Polynomial.gaussNorm_zero

Modification history