Nuprl Definition : identity-matrix
I == matrix(if x=y then 1 else 0)
Definitions occuring in Statement :
mx: matrix(M[x; y])
,
int_eq: if a=b then c else d
,
rng_one: 1
,
rng_zero: 0
Definitions occuring in definition :
mx: matrix(M[x; y])
,
int_eq: if a=b then c else d
,
rng_one: 1
,
rng_zero: 0
FDL editor aliases :
identity-matrix
Latex:
I == matrix(if x=y then 1 else 0)
Date html generated:
2018_05_21-PM-09_34_48
Last ObjectModification:
2017_12_11-PM-00_29_32
Theory : matrices
Home
Index