Theorem Polynomial.withBotSucc_degree_eq_natDegree_add_one

Modification history