import Choreography.Harmony.SubstitutionCore
import Choreography.Harmony.SubstitutionUnfold

/-! # Choreography.Harmony.Substitution

Barrel import for substitution commutation and mu-unfold lemmas.
-/
