HoTT/book — pull request #432 by mikeshulman (2013-07-25 21:11:10+00:00)
Title: add loop space to symbol index, close #418

Does this need an erratum?