basic): Add bundled versions of matrix.diagonal (#8510)

Commit

4 years ago

feat(data/matrix/basic): Add bundled versions of matrix.diagonal (#8510) Also shows injectivity of `diagonal`.

Author

eric-wieser

Parents