Code

Remove backported algR#90

Code

Open

Tragicus wants to merge 6 commits intomath-comp:mastermath-comp/Abel:masterfrom

Tragicus:backport-algRTragicus/Abel:backport-algRCopy head branch name to clipboard

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

• remove algR

  Tragicus

  committed
  d7494cb

  Copy full SHA for d7494cb