Mathlib v3 is deprecated. Go to Mathlib v4

Theorem solvable_by_rad.induction

Modification history

2021-03-19 09:01
src/field_theory/abel_ruffini.lean
feat(field_theory/abel_ruffini): solvable by radicals implies solvable Galois group (#6631) …
Added solvable_by_rad.inductionView on Github →