WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Equation solving
Revision #1187 → #2563 ·
back to history
modified
Solvability of polynomial equations by degree
d34e9df0ec0f
Field
From #1187
To #2563
mathlib.decl
Polynomial.not_solvable_by_rad
AbelRuffini.not_solvable_by_rad
provenance
ai
ai-moderated