Nuprl Definition : forall

∀x.P[x] ==  ∀x:Dom. P[x]


Definitions occuring in Statement :  all: ∀x:A. B[x]
FDL editor aliases :  forall
\mforall{}x.P[x]  ==    \mforall{}x:Dom.  P[x]


Date html generated: 2015_07_17-AM-07_52_29
Last ObjectModification: 2012_08_24-PM-03_09_34

Home Index