import Protocol.Coherence.ConfigEquivRenaming.Algebra
import Protocol.Coherence.ConfigEquivRenaming.InverseMaps
/-! # Protocol.Coherence.ConfigEquivRenaming
Facade module re-exporting renaming algebra and inverse-cancellation lemmas
used by coherence-configuration equivalence.
-/
