Nuprl Definition : zero-matrix

0 ==  matrix(0)


Definitions occuring in Statement :  mx: matrix(M[x; y]),  rng_zero: 0
Definitions occuring in definition :  mx: matrix(M[x; y]),  rng_zero: 0
FDL editor aliases :  zero-matrix
Latex:
0  ==    matrix(0)


Date html generated: 2018_05_21-PM-09_34_52
Last ObjectModification: 2017_12_11-PM-00_29_33

Theory : matrices


Home Index