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