Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-24 19:29 17f3b801

View on Github →

feat(100-theorems-list/16_abel_ruffini): some simplifications (#7699)

Estimated changes