Theorem gal_zero_isSolvable

Modification history