Theorem gal_isSolvable_of_splits

Modification history