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
Inning(s;a)  ==    fst((s  a))


Date html generated: 2015_07_17-AM-11_25_37
Last ObjectModification: 2012_02_25-AM-11_41_48

Home Index