Set theory
Content created by Egbert Rijke, Fredrik Bakke, Fernando Chu and Jonathan Prieto-Cubides.
Created on 2022-05-16.
Last modified on 2023-05-06.
Files in the set theory folder
module set-theory where open import set-theory.baire-space public open import set-theory.cantor-space public open import set-theory.cardinalities public open import set-theory.countable-sets public open import set-theory.cumulative-hierarchy public open import set-theory.infinite-sets public open import set-theory.uncountable-sets public
Recent changes
- 2023-05-06. Egbert Rijke. Collecting some easily defined precategories (#598).
- 2023-03-06. Fredrik Bakke. Remove redundant whitespace in headers (#486).
- 2023-02-19. Fernando Chu and Fredrik Bakke. Cumulative Hierarchy first PR (#454).
- 2023-02-13. Jonathan Prieto-Cubides. Nueva era (#445).
- 2023-02-05. Fredrik Bakke. remove redundant pragmas.