« Species on FinSet and action types

Definition. isFinSet [00DA]

See symmetry book definition 2.24.1

Backlinks

Lemma. [00DB]

isFinSet(X) is a proposition and equivalent to . See symmetry book lemma 2.24.4