Nuprl Definition : rv-ip
x ⋅ y == rv."ip" 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 :
rv-ip
Latex:
x \mcdot{} y == rv."ip" x y
Date html generated:
2016_11_08-AM-09_14_38
Last ObjectModification:
2016_10_31-PM-02_30_23
Theory : inner!product!spaces
Home
Index