Nuprl Definition : row-list-matrix

row-list-matrix(L) ==  matrix(L[x][y])


Definitions occuring in Statement :  mx: matrix(M[x; y]),  select: L[n]
Definitions occuring in definition :  mx: matrix(M[x; y]),  select: L[n]
FDL editor aliases :  row-list-matrix
Latex:
row-list-matrix(L)  ==    matrix(L[x][y])


Date html generated: 2018_05_21-PM-09_45_03
Last ObjectModification: 2017_12_14-PM-05_31_39

Theory : matrices


Home Index