Theorem Polynomial.head_coeffList

Modification history