Nuprl Definition : classfun-res
X@e == X(e)
Definitions occuring in Statement :
classfun: X(e)
FDL editor aliases :
initial-classfun-res
Latex:
X@e == X(e)
Date html generated:
2016_05_16-PM-01_44_21
Last ObjectModification:
2012_05_31-AM-10_57_07
Theory : event-ordering
Home
Index