Theorem Polynomial.card_support_eq_two

Modification history