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 : 
apply: f a
, 
record-select: r.x
, 
token: "$token"
FDL editor aliases : 
ss-sep
Latex:
x  \#  y  ==    ss."\#"  x  y
Date html generated:
2019_10_31-AM-07_26_15
Last ObjectModification:
2019_03_19-PM-03_40_47
Theory : constructive!algebra
Home
Index