Theorem Polynomial.IsUnitTrinomial.card_support_eq_three

Modification history