`OAI/SetTheory/PartitionConsistency/`

2728 declarations, 0 contain sorry, 0 declared as axioms; 75 files

Folders

Algebra/ 13 files, 508 declarations
Construction/ 13 files, 530 declarations
Forcing/ 16 files, 558 declarations
Logic/ 5 files, 182 declarations
Models/ 27 files, 944 declarations

Files

Main.lean 6 declarations