Theorem gal_X_pow_isSolvable

Modification history