Code

theory of diagonal matrices#1977

Code

Merged

Alizter merged 4 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/theory_of_diagonal_matricesAlizter/HoTT:ps/rr/theory_of_diagonal_matricesCopy head branch name to clipboardJun 3, 2024

+176-6

Commits

Commits on Jun 2, 2024

• theory of diagonal matrices

  Show description for c7689a4
  Alizter

  committed
  c7689a4

Commits on Jun 3, 2024

• speed up matrix_diag_ring

  Show description for 40e5962
  Alizter

  committed
  40e5962

• reivew suggestions

  Show description for b312fba
  Alizter

  committed
  b312fba

• generalise path_entry_vector

  Show description for fde5a49
  Alizter

  committed
  fde5a49