Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
the nLab has different articles for natural numbers and natural numbers type, empty set and empty type, set of truth values and type of propositions, function set and function type, etc. For consistency sakes we should also have different articles for boolean domain and type of booleans.
1 to 1 of 1