Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Fin : Nat -> Set
- Fin zero = False
- Fin (suc zero) = True
- Fin (suc (suc n)) = True OR (Fin (suc n))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement