{-# OPTIONS --safe --exact-split --prop  #-}
module Proposition.Permutation where

open import Proposition.Permutation.Definition public
-- open import Proposition.Permutation.Class public
open import Proposition.Permutation.Property public
