import Protocol.Coherence.ValidLabelsSendSelect
import Protocol.Coherence.ValidLabelsBufferRecvBranch

/-! # Protocol.Coherence.ValidLabels

Barrel import for ValidLabels preservation and initialization lemmas.
-/
