Nuprl Definition : ss-sep

x # y ==  ss."#" 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 :  ss-sep
Latex:
x  \#  y  ==    ss."\#"  x  y


Date html generated: 2016_11_08-AM-09_10_44
Last ObjectModification: 2016_10_31-AM-10_50_53

Theory : inner!product!spaces


Home Index