Nuprl Definition : bsublist

bsublist(s;as;bs) ==  null(as - bs)


Definitions occuring in Statement :  diff: as - bs,  null: null(as)
Definitions occuring in definition :  null: null(as),  diff: as - bs
Latex:
bsublist(s;as;bs)  ==    null(as  -  bs)


Date html generated: 2016_05_16-AM-07_41_15
Last ObjectModification: 2015_09_23-AM-09_51_45

Theory : list_2


Home Index