search

math-comp / Abel

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

Using has_char0 #67

Closed CohenCyril closed 3 years ago