Nuprl Definition : free-dl-join

free-dl-join(as;bs) ==  as @ bs


Definitions occuring in Statement :  append: as @ bs
Definitions occuring in definition :  append: as @ bs
FDL editor aliases :  free-dl-join
Latex:
free-dl-join(as;bs)  ==    as  @  bs


Date html generated: 2017_02_21-AM-09_53_26
Last ObjectModification: 2017_01_21-PM-04_13_23

Theory : lattices


Home Index