Theorem IsAlgebraic.exists_nonzero_coeff_and_aeval_eq_zero

Modification history