HoTT/book — pull request #745 by Pierre-Yves-Gaillard (2014-12-10 07:08:51+00:00)
Title: Update formal.tex

Changed the period ending the line to a colon, to be consistent with lines 285 and 294, and to avoid a lowercase letter following a period.