Nuprl Definition : lmax
lmax(s;as;bs) == (as - bs) @ bs
Definitions occuring in Statement :
diff: as - bs,
append: as @ bs
Definitions occuring in definition :
append: as @ bs,
diff: as - bs
Latex:
lmax(s;as;bs) == (as - bs) @ bs
Date html generated:
2016_05_16-AM-07_40_56
Last ObjectModification:
2015_09_23-AM-09_51_44
Theory : list_2
Home
Index