Lemmas for proving properties about Lists - View it on GitHub