module Vector.Permutation where

open import Vector.Permutation.Base public