------------------------------------------------------------------------
-- The Agda standard library
--
-- Compatibility module. Pending for removal. Use Data.Fin.Properties
-- instead.
------------------------------------------------------------------------

module Data.Fin.Props where

open import Data.Fin.Properties public