Code

remove backported lemmas to solvable#89

Code

Open

Tragicus wants to merge 5 commits intomath-comp:mastermath-comp/Abel:masterfrom Tragicus:backport-solvableTragicus/Abel:backport-solvableCopy head branch name to clipboard

+18-726

Commits

Commits on Mar 29, 2024

• remove backported lemmas to ssreflect

  Tragicus

  committed
  b05880e

  Copy full SHA for b05880e

• backport ssralg and poly

  Tragicus

  committed
  9c6f54e

  Copy full SHA for 9c6f54e

• second half of algebra backports

  Tragicus

  committed
  28a26e7

  Copy full SHA for 28a26e7

• remove backported lemmas to fingroup

  Tragicus

  committed
  cf93b6b

  Copy full SHA for cf93b6b

• remove backported lemmas to solvable

  Tragicus

  committed
  805d927

  Copy full SHA for 805d927