Extract columns of a matrix

Stream: new members

[Vivek Rajesh Joshi]

Given a M : Matrix m n R, how do you extract the ith column ci : m -> R out of it? Is there anything as straightforward as getting the ith row by M i?

[Yaël Dillies]

(M · i) is the i-th column

[Vivek Rajesh Joshi]

Thanks!!