Mathlib v3 is deprecated. Go to Mathlib v4

Theorem abel_ruffini.irreducible_Phi

Modification history

2021-05-24 19:29
archive/100-theorems-list/16_abel_ruffini.lean
feat(100-theorems-list/16_abel_ruffini): some simplifications (#7699)
Modified abel_ruffini.irreducible_PhiView on Github →
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.irreducible_PhiView on Github →