Theorem minpoly.ker_eval

Modification history