Nuprl Definition : es-or-latest
(X |- Y) == (X&Y)+X+Y
Definitions occuring in Statement :
latest-pair: (X&Y),
es-interface-union: X+Y
FDL editor aliases :
es-or-latest
Latex:
(X |\msupminus{} Y) == (X\&Y)+X+Y
Date html generated:
2015_07_21-PM-03_45_56
Last ObjectModification:
2012_02_25-PM-02_45_59
Home
Index