Theorem gal_mul_isSolvable

Modification history