Theorem minpoly.aeval_ne_zero_of_dvdNotUnit_minpoly

Modification history