`OAI/SetTheory/PartitionPrinciple/`

12411 declarations, 0 contain sorry, 0 declared as axioms; 943 files

Folders

Definability/ 217 files, 2526 declarations
Forcing/ 220 files, 2584 declarations
Geometry/ 271 files, 3783 declarations
Models/ 25 files, 243 declarations
Transfinite/ 208 files, 3225 declarations

Files

Main.lean 44 imports, no declarations
Model.lean 50 declarations