Nuprl Definition : sg-op
(x y) == sg."op" x y
Definitions occuring in Statement :
apply: f a,
token: "$token",
record-select: r.x
Definitions occuring in definition :
token: "$token",
record-select: r.x,
apply: f a
FDL editor aliases :
sg-op
Latex:
(x y) == sg."op" x y
Date html generated:
2016_11_08-AM-09_11_32
Last ObjectModification:
2016_11_02-PM-06_53_10
Theory : inner!product!spaces
Home
Index