Commit 2021-03-17 08:30 861f5946
View on Github →feat(field_theory/normal): Tower of solvable extensions is solvable (#6643) This is the key lemma that makes Abel-Ruffini work.
feat(field_theory/normal): Tower of solvable extensions is solvable (#6643) This is the key lemma that makes Abel-Ruffini work.