Nuprl Definition : ss-basic-and

ss-basic-and(u;v) ==  u @ v


Definitions occuring in Statement :  append: as @ bs
Definitions occuring in definition :  append: as @ bs
FDL editor aliases :  ss-basic-and
Latex:
ss-basic-and(u;v)  ==    u  @  v


Date html generated: 2020_05_20-PM-01_22_15
Last ObjectModification: 2018_07_06-PM-04_25_13

Theory : intuitionistic!topology


Home Index