Theorem gal_one_isSolvable

Modification history