Theorem Polynomial.card_rootSet_eq_natDegree

Modification history