Theorem AbelRuffini.exists_not_solvable_by_rad

Modification history