Mathlib v3 is deprecated. Go to Mathlib v4

Theorem abel_ruffini.real_roots_Phi_ge_aux

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