search

math-comp / Abel

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

remove backported lemmas to ssreflect #85

Open Tragicus opened 5 months ago

Tragicus commented 5 months ago

The lemmas in various.v for the package ssreflect have been backported here: