Library HoTT.Homotopy.Join

Require Export Join.Core.
Require Export Join.TriJoin.
Require Export Join.JoinAssoc.
Require Export Join.JoinSusp.