Theorem Polynomial.coe_normUnit

Modification history