mathlib
861f5946 - feat(field_theory/normal): Tower of solvable extensions is solvable (#6643)

Commit

4 years ago

feat(field_theory/normal): Tower of solvable extensions is solvable (#6643) This is the key lemma that makes Abel-Ruffini work.

Author

tb65536

Parents