2023-05-23 15:18:23 +00:00
|
|
|
import Bookshelf.Enderton.Set.Chapter_1
|
2023-06-08 23:57:02 +00:00
|
|
|
import Bookshelf.Enderton.Set.Chapter_2
|
2023-06-29 21:25:59 +00:00
|
|
|
import Bookshelf.Enderton.Set.Chapter_3
|
2023-08-15 21:04:55 +00:00
|
|
|
import Bookshelf.Enderton.Set.Chapter_4
|
2023-08-16 18:46:16 +00:00
|
|
|
import Bookshelf.Enderton.Set.Chapter_6
|
2023-06-29 21:25:59 +00:00
|
|
|
import Bookshelf.Enderton.Set.OrderedPair
|
2023-09-26 15:55:04 +00:00
|
|
|
import Bookshelf.Enderton.Set.Relation
|
|
|
|
|
|
|
|
|
|
/-! # Elements of Set Theory
|
|
|
|
|
|
|
|
|
|
## Enderton, Herbert B.
|
|
|
|
|
|
|
|
|
|
### LaTeX
|
|
|
|
|
|
|
|
|
|
Full set of [proofs and exercises](Bookshelf/Enderton/Set.pdf).
|
|
|
|
|
|
|
|
|
|
### Lean
|
|
|
|
|
|
|
|
|
|
* [Chapter 1: Introduction](Bookshelf/Enderton/Set/Chapter_1.html)
|
|
|
|
|
* [Chapter 2: Axioms and Operations](Bookshelf/Enderton/Set/Chapter_2.html)
|
|
|
|
|
* [Chapter 3: Relations and Functions](Bookshelf/Enderton/Set/Chapter_3.html)
|
|
|
|
|
* [Chapter 4: Natural Numbers](Bookshelf/Enderton/Set/Chapter_4.html)
|
|
|
|
|
* [Chapter 6: Cardinal Numbers and the Axiom of Choice](Bookshelf/Enderton/Set/Chapter_6.html)
|
|
|
|
|
-/
|
