How can I create a vector from a matrix using spec

2020-02-06 17:18发布