Nuprl Definition : cs-inning

Inning(s;a) ==  fst((s a))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
FDL editor aliases :  cs-inning
Latex:
Inning(s;a)  ==    fst((s  a))


Date html generated: 2016_05_16-AM-11_54_45
Last ObjectModification: 2012_02_25-AM-11_41_48

Theory : event-ordering


Home Index