OAI/SetTheory/PartitionPrinciple/Geometry/GroundAssignmentIndexLevels.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.assignmentCut_mem line 12
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.assignmentUpper_mem line 30
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.assignmentSplice_mem line 38
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.assignmentCut_small line 49
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.assignmentUpper_small line 58
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.assignmentSplice_countable line 67
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.assignmentSplice_mem_groundSmallSubsets line 85
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.assignmentIndexLevels_mem line 119
9. theorem OAI.PartitionPilot.Forcing.TransitiveGround.stageTwoAssignmentLevels_mem line 127
10. theorem OAI.PartitionPilot.Forcing.TransitiveGround.stageTwoAssignmentCuts_mem line 137
11. theorem OAI.PartitionPilot.Forcing.TransitiveGround.stageTwoAssignmentCut_one_mem_groundSmallSubsets line 149