Theorem Polynomial.IsEisensteinAt.coeff_mem

Modification history