Nuprl Definition : inning-event
NextInning == inl ⋅
Definitions occuring in Statement :
it: ⋅,
inl: inl x
FDL editor aliases :
inning-event
NextInning == inl \mcdot{}
Date html generated:
2015_07_17-AM-11_43_39
Last ObjectModification:
2012_02_25-AM-11_46_59
Home
Index