More fixes to Lemma 1 of the proof and misc. subroutines
authortkwa <kwathomas0@gmail.com>
Tue, 2 Aug 2016 00:07:58 +0000 (17:07 -0700)
committertkwa <kwathomas0@gmail.com>
Tue, 2 Aug 2016 00:07:58 +0000 (17:07 -0700)
commit21d1d65712c836839d97d0f34bbe182a4e87815d
tree178e99ddf5073f99377cda3b85a59af7eacff66e
parentfc4b68411ca2e501708166c061b1bb4f896ad4a0
More fixes to Lemma 1 of the proof and misc. subroutines
doc/iotcloud.tex