Unit Z21
Type

type allowing only one value in type theory
This page displays in a limited way without JavaScript.