Code

centrosymmetric matrices#2003

Code

Draft

Alizter wants to merge 8 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/centrosymmetric_matricesAlizter/HoTT:ps/rr/centrosymmetric_matricesCopy head branch name to clipboard

+283-4

Commits

Commits on Jun 30, 2024

• centrosymmetric matrices

  Show description for e1feb0b
  Alizter

  committed
  e1feb0b

  Copy full SHA for e1feb0b

Commits on Jul 1, 2024

• review suggestions

  Show description for c2d194f
  Alizter

  committed
  c2d194f

  Copy full SHA for c2d194f

• Update theories/Algebra/Rings/Matrix.v

  Show description for fe99a17
  

  Alizter

  and

  jdchristensen

  authored
  fe99a17

  Copy full SHA for fe99a17

Commits on Jul 3, 2024

• Matrix.v: minor changes

  jdchristensen

  committed
  c6ebcdd

  Copy full SHA for c6ebcdd

Commits on Jul 4, 2024

• Matrix.v: add a local Hint to simplify proofs

  jdchristensen

  committed
  c786f02

  Copy full SHA for c786f02

• Matrix: a few more simplifications of exchange matrices

  jdchristensen

  committed
  19f11c7

  Copy full SHA for 19f11c7

Commits on Jul 5, 2024

• [WIP REVERT] show difficulties with index definition

  Show description for 64d2b1b
  Alizter

  committed
  64d2b1b

  Copy full SHA for 64d2b1b

Commits on Jul 12, 2024

• Matrix: progress with index version of IsCentroSymmetric

  jdchristensen

  committed
  2349783

  Copy full SHA for 2349783