Code

remove backported lemmas to fingroup#88

Code

Open

Tragicus wants to merge 4 commits intomath-comp:mastermath-comp/Abel:masterfrom Tragicus:backport-fingroupTragicus/Abel:backport-fingroupCopy head branch name to clipboard

+18-531

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