Nuprl Definition : isrcv
isrcv(k) ==  isl(k)
Definitions occuring in Statement : 
isl: isl(x)
FDL editor aliases : 
isrcv
Latex:
isrcv(k)  ==    isl(k)
Date html generated:
2016_05_16-AM-10_54_19
Last ObjectModification:
2012_02_25-AM-10_52_39
Theory : event-ordering
Home
Index