Update proof of pradical_solvable_ext to match the paper - Githubissues

math-comp / Abel

A proof of Abel-Ruffini theorem.

28 stars 8 forks source link

Update proof of pradical_solvable_ext to match the paper #54

Closed CohenCyril closed 3 years ago