Nuprl Definition : inning-event
NextInning == inl ⋅
Definitions occuring in Statement :
it: ⋅,
inl: inl x
FDL editor aliases :
inning-event
Latex:
NextInning == inl \mcdot{}
Date html generated:
2016_05_16-PM-00_27_02
Last ObjectModification:
2012_02_25-AM-11_46_59
Theory : event-ordering
Home
Index