Theorem minpoly.isRadical

Modification history