mathlib

86e1b175 - feat(field_theory/abel_ruffini): solvable by radicals implies solvable Galois group (#6631)

feat(field_theory/abel_ruffini): solvable by radicals implies solvable Galois group (#6631) Proves the theoretical part of insolvability of the quintic. We still need to exhibit a specific polynomial with non-solvable Galois group Co-authored-by: tb65536 <tb65536@users.noreply.github.com>