Mathlib v3 is deprecated. Go to Mathlib v4

Inductive is_solvable_by_rad

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 is_solvable_by_radView on Github →