Commit 4c6a767

committed

Merge branch 'master' into pr10_eigsLib

2 parents a4f683c + bc31147 commit 4c6a767Copy full SHA for 4c6a767

1 file changed

+725

-89

lines changed

src/matrix_cookbook
- 9_special_matrices.lean

1 file changed

+725

-89

lines changed

Comments

(0)