name: set-finite-thm
version: 1.68
description: Properties of finite sets
author: Joe Leslie-Hurd <joe@gilith.com>
license: HOLLight
provenance: HOL Light theory exported on 2019-10-31
requires: bool
requires: function
requires: natural
requires: pair
requires: set-def
requires: set-finite-def
requires: set-thm
show: "Data.Bool"
show: "Data.Pair"
show: "Function"
show: "Number.Natural"
show: "Set"

main {
  article: "set-finite-thm.art"
}
