Theorem Polynomial.coeff_natTrailingDegree_pred_eq_zero

Modification history