Nuprl Definition : vr_PEXT

vr_PEXT ==  A,B:.  ((A  B)  (A = B))


Definitions occuring in Statement :  prop: ,  all: x:A. B[x],  iff: P  Q,  implies: P  Q,  equal: s = t
FDL editor aliases :  vr_PEXT
vr\_PEXT  ==    \mforall{}A,B:\mBbbP{}.    ((A  \mLeftarrow{}{}\mRightarrow{}  B)  {}\mRightarrow{}  (A  =  B))


Date html generated: 2012_02_20-PM-03_33_49
Last ObjectModification: 2012_02_02-PM-01_55_27

Home Index