Skip to content
EntityQ1307872· pop 6· linked from 108 articles

type allowing only one value in type theory

Available in 6 languages

via Wikidata sitelinks · CC0