Homotopy Type Theory
decidable subset > history (Rev #1)
Contents
Definition
A decidable set has decidable subsets if the function type is a decidable set.
Examples
- All finite types are decidable sets and have decidable subsets.
See also
Revision on April 28, 2022 at 20:47:58 by
Anonymous?.
See the history of this page for a list of all contributions to it.