patmorin/ods — pull request #22 by gareth12 (2014-10-07 22:04:45+00:00)
Title: simplify proof of lemma 5.3 {hashing-mapping}

the proof of lemma 5.3 {hashing-mapping} can be significantly simplified by noticing that k must be zero. the second half of the proof is then not necessary. also, move the paragraph introducing the star notation until after the proof of lemma 5.3 as the proof no longer uses that notation.