On Feb 2, 10:45 am, WM <mueck...@rz.fh-augsburg.de> wrote: > On 1 Feb., 22:54, William Hughes <wpihug...@gmail.com> wrote: > > > Previous was too complicated > > Then I will skip it. > > > > > Can a potentially infinite list > > of potentially infinite 0/1 > > sequences have the property that > > > if s is a potentially infinite 0/1 > > sequence, then s is a line of L > > You have to distinguish between every and all
I do not use either explicitly. (If you think I do implicitly use every).