HoTT/HoTT — pull request #529 by mikeshulman (2014-09-27 07:00:36+00:00)
Title: export hit.Connectedness from HoTT

How did this get left out, I wonder?