Theorem Polynomial.natTrailingDegree_mul'

Modification history