Theorem gal_X_sub_C_isSolvable

Modification history