import Choreography.Projection.Project.ImplU.EQ2Closure
import Choreography.Projection.Project.ImplU.CommCases

/-! # Project ImplU

Barrel for unfolding-insensitive projection EQ2 closure (EQ2Closure/CommCases).
-/
