mathlib

86b8f39f - doc(docs/overview): Update overview (#6772)

doc(docs/overview): Update overview (#6772) Update the overview to mention Abel-Ruffini. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>