Theorem minpoly.degree_pos

Modification history