Nuprl Definition : alle-at

e@i.P[e] ==  ∀e:E. ((loc(e) i ∈ Id)  P[e])



Definitions occuring in Statement :  es-loc: loc(e) es-E: E Id: Id all: x:A. B[x] implies:  Q equal: t ∈ T
FDL editor aliases :  alle-at alle-at

Latex:
\mforall{}e@i.P[e]  ==    \mforall{}e:E.  ((loc(e)  =  i)  {}\mRightarrow{}  P[e])



Date html generated: 2016_05_16-AM-09_17_35
Last ObjectModification: 2013_03_25-PM-01_45_39

Theory : new!event-ordering


Home Index