Nuprl Definition : vr_equi-pred

X ~~ Y ==  x:T. (X x  Y x)


Definitions occuring in Statement :  all: x:A. B[x],  iff: P  Q,  apply: f a
FDL editor aliases :  vr_equi-pred
X  \msim{}\msim{}  Y  ==    \mforall{}x:T.  (X  x  \mLeftarrow{}{}\mRightarrow{}  Y  x)


Date html generated: 2012_02_20-PM-03_33_35
Last ObjectModification: 2012_02_02-PM-01_55_23

Home Index