Mathlib v3 is deprecated. Go to Mathlib v4

Theorem abel_ruffini.complex_roots_Phi

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.complex_roots_PhiView on Github →