search

math-comp / Abel

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

Lemma added in mathcomp > 1.15 #80

Open CohenCyril opened 2 years ago