Nuprl Definition : matrix-minus
-(M) == matrix(-r M[x,y])
Definitions occuring in Statement :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
apply: f a,
rng_minus: -r
Definitions occuring in definition :
mx: matrix(M[x; y]),
apply: f a,
rng_minus: -r,
matrix-ap: M[i,j]
FDL editor aliases :
matrix-minus
Latex:
-(M) == matrix(-r M[x,y])
Date html generated:
2018_05_21-PM-09_34_58
Last ObjectModification:
2017_12_11-PM-00_29_35
Theory : matrices
Home
Index