Mathlib v3 is deprecated. Go to Mathlib v4

Theorem abel_ruffini.not_solvable_by_rad'

Modification history

2021-05-22 12:15
archive/100-theorems-list/16_abel_ruffini.lean
feat(100-theorems-list/16_abel_ruffini): The Abel-Ruffini Theorem (#7562) …
Added abel_ruffini.not_solvable_by_rad'View on Github →