Data.Fin

1Lab
  • Finite Sets - Index🔗


back to index
view all pages
link to source

Written by Amélia Liao and Reed Mullanix

back to index
module Data.Fin where

open import Data.Fin.Properties public
open import Data.Fin.Finite public
open import Data.Fin.Base public

Finite Sets - Index🔗

The natural numbers are constructed in the module Data.Fin.Base. Their arithmetical properties are proved in Data.Fin.Properties.