Theorem Polynomial.isRoot_of_aeval_algebraMap_eq_zero

Modification history