Nuprl Definition : isect2
T1 ⋂ T2 == ⋂b:𝔹. if b then T1 else T2 fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
bool: 𝔹,
isect: ⋂x:A. B[x]
Definitions occuring in definition :
isect: ⋂x:A. B[x],
bool: 𝔹,
ifthenelse: if b then t else f fi
FDL editor aliases :
isect2
Latex:
T1 \mcap{} T2 == \mcap{}b:\mBbbB{}. if b then T1 else T2 fi
Date html generated:
2016_05_13-PM-03_57_56
Last ObjectModification:
2015_09_22-PM-05_45_37
Theory : bool_1
Home
Index