Library HoTT.Truncations

Require Export HoTT.Truncations.Core.
Require Export HoTT.Truncations.SeparatedTrunc.
Require Export HoTT.Truncations.Connectedness.