import Choreography.Projection.Project.ImplTransRelComp.Core
import Choreography.Projection.Project.ImplTransRelComp.CommCases

/-! # Project ImplTransRelComp

Barrel for CProjectTransRel composition lemmas (Core/CommCases).
-/
