stacks/stacks-project — pull request #5 by drydh (2013-10-25 07:34:27+00:00)
Title: Fixed two typos in proof of Tag 07K5 (lemma-unbounded-right-derived).

I'm trying out the online edit functionality in GitHub (which is so-so). Anyway, since it is now really easy to browse the stacks project online and one sees file names and line numbers, fixing typos "offline" has also become much simpler.