:: [[a]] -> [a] package:sbv

Get the diagonal of a square matrix