Theorem Polynomial.cardPowDegree_zero

Modification history