matthiasvegh/LazyIterator — pull request #6 by r0mai (2014-02-25 13:13:18+00:00)
Title: Removed unused isElementOf

Since 9347e05 isElementOf is not used