search

math-comp / Abel

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

Remove backported algR #90

Open Tragicus opened 7 months ago

Tragicus commented 7 months ago

Removes algR, which is backported here: