Nuprl Definition : mx
matrix(M[x; y]) == λx,y. M[x; y]
Definitions occuring in Statement :
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
FDL editor aliases :
mx
Latex:
matrix(M[x; y]) == \mlambda{}x,y. M[x; y]
Date html generated:
2018_05_21-PM-09_34_05
Last ObjectModification:
2017_12_11-PM-00_29_20
Theory : matrices
Home
Index