Theorem Polynomial.exists_eq_gaussNorm

Modification history