Theorem Polynomial.natTrailingDegree_mul_mirror

Modification history