Nuprl Definition : es-interface-triple
(X,Y,Z) == (X,(Y,Z))
Definitions occuring in Statement :
es-interface-pair: (X,Y)
FDL editor aliases :
es-interface-triple
Latex:
(X,Y,Z) == (X,(Y,Z))
Date html generated:
2015_07_21-PM-03_46_29
Last ObjectModification:
2012_02_25-PM-02_46_29
Home
Index