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:
2015_07_21-PM-03_49_52
Last ObjectModification:
2012_02_25-PM-02_49_37
Home
Index