------------------------------------------------------------------------ -- 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