HoTT/book — pull request #342 by vog (2013-06-29 13:37:49+00:00)
Title: Fix typo in exercise 1.4 from "C_0" to "c_0"

See also: http://homotopytypetheory.org/#comment-4259