Nuprl Definition : dp-sep

(x # y) ==  d."S" x y


Definitions occuring in Statement :  record-select: r.x,  apply: f a,  token: "$token"
Definitions occuring in definition :  token: "$token",  record-select: r.x,  apply: f a
FDL editor aliases :  dp-sep
Latex:
(x  \#  y)  ==    d."S"  x  y


Date html generated: 2018_05_21-PM-09_44_31
Last ObjectModification: 2018_05_09-AM-11_31_15

Theory : matrices


Home Index