Nuprl Definition : ifunion
ifunion(b; t) == if b then t else t fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi
Definitions occuring in definition :
ifthenelse: if b then t else f fi
Latex:
ifunion(b; t) == if b then t else t fi
Date html generated:
2016_05_13-PM-03_20_17
Last ObjectModification:
2016_01_04-AM-10_27_19
Theory : union
Home
Index