Nuprl Definition : es-interface-numbered
#A ==  (A,#A)
Definitions occuring in Statement : 
es-interface-pair: (X,Y)
, 
es-interface-count: #X
FDL editor aliases : 
es-interface-numbered
Latex:
\#A  ==    (A,\#A)
Date html generated:
2016_05_17-AM-07_20_34
Last ObjectModification:
2012_02_25-PM-02_49_37
Theory : event-ordering
Home
Index