Nuprl Definition : is-basic-seq

thr[A;B] |= bs ==  bs A B es thr


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  is-basic-seq
Latex:
thr[A;B]  |=  bs  ==    bs  A  B  es  thr


Date html generated: 2015_07_23-PM-00_15_34
Last ObjectModification: 2012_08_30-PM-04_31_47

Home Index