Theorem Polynomial.gaussNorm_coe_powerSeries

Modification history