maxlieblich/etalecohomology — pull request #4 by gclenaghan (2014-10-24 19:11:58+00:00)
Title: Update lecture-4.md

Fixed colimit in injective proof.