Theorem minpoly.subsingleton

Modification history