Closed shilangyu closed 4 days ago
Slimmed down SetTheory a bit, should make it easier to find theorems.
For reviewing: The first commit is moving existing things to the new package, the following commits are newly added things.
Slimmed down SetTheory a bit, should make it easier to find theorems.
For reviewing: The first commit is moving existing things to the new package, the following commits are newly added things.