Empty types - squares with three sides, even primes larger than 2, etc. We can still have variables for them as with the elimination rule for the empty type.

Last revised on June 29, 2022 at 08:18:57. See the history of this page for a list of all contributions to it.