Nuprl Definition : real-matrix-add
A + B == λx,y. ((A x y) + (B x y))
Definitions occuring in Statement :
radd: a + b,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
radd: a + b,
apply: f a
FDL editor aliases :
real-matrix-add
Latex:
A + B == \mlambda{}x,y. ((A x y) + (B x y))
Date html generated:
2019_10_30-AM-08_17_06
Last ObjectModification:
2019_09_19-AM-11_43_06
Theory : reals
Home
Index