lean2/tests/lean/800.lean.expected.out

5 lines
77 B
Text
Raw Permalink Normal View History

M[row,col] : A
M[row,:] : row_vector A n
M[row,col] : A
[1, 2, 3] : list