HoTT/book — pull request #728 by mikeshulman (2014-10-20 00:48:26+00:00)
Title: add an explicit topological example to remark 1.12.1

As suggested by @martinescardo on the mailing list