i have not been able to use the theorems in theory z_sequences1. for
example i would expect the following to be proved using
z_^_singleton_thm or z_^_singleton_thm1, where x and y are all singletons
<x>^<y> = <x,y>
but it doesnt.
thanks
-gift