Theorem Polynomial.cardPowDegree_apply

Modification history