j
k
j a
j l
Good point.
On Oct 28, 2016, at 3:47 PM, Fred Lunnon <fred.lunnon@gmail.com> wrote: Strictly speaking, height should have been defined by h(S) = sup( n | Lim^n(S) /= { } ) --- otherwise it fails if the answer is "no" ! WFL
On Oct 28, 2016, at 3:47 PM, Fred Lunnon <fred.lunnon@gmail.com> wrote:
Strictly speaking, height should have been defined by
h(S) = sup( n | Lim^n(S) /= { } )
--- otherwise it fails if the answer is "no" ! WFL
Back to the thread
Back to the list