import Choreography.Harmony.ParticipantStepProjection
import Choreography.Harmony.ParticipantStepWellFormed

/-! # Choreography.Harmony.ParticipantSteps

Barrel import for participant-step harmony lemmas and well-formedness preservation.
-/
