HoTT/HoTT — pull request #103 by peterlefanulumsdaine (2013-03-26 20:29:51+00:00)
Title: Connectedness

Definition of connectedness, and basic results, up to the lemma that the space of extensions along an n-connected map into a k-truncated type is (k–n–2)-truncated.