Theorem minpoly.eq_X_sub_C'

Modification history