math-comp / Abel

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

renamings to match the paper #63

Closed CohenCyril closed 3 years ago