Theorem Polynomial.card_supp_le_succ_natDegree

Modification history