import Choreography.Projection.Project.ImplCompPostfix.WellFormedClosure
import Choreography.Projection.Project.ImplCompPostfix.PrefixCases
import Choreography.Projection.Project.ImplCompPostfix.SuffixCases

/-! # Project ImplCompPostfix

Barrel for CProjectTransRelComp postfix lemmas (WellFormedClosure/PrefixCases/SuffixCases).
-/
