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

module Data.Fin.Subset.Props where

open import Data.Fin.Subset.Properties public