search

math-comp / Abel

A proof of Abel-Ruffini theorem.
28 stars 8 forks source link

Improve readability and set licence #51

Closed CohenCyril closed 3 years ago