OAI/SetTheory/PartitionPrinciple/Transfinite/GroundStageThreeClosureData.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PartitionPilot.Forcing.StageThreeCarrierData line 13
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.stageThreeCarrierData line 113
3. structure OAI.PartitionPilot.Forcing.StageThreeProjectionData line 195
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.stageThreeProjectionData line 276
5. structure OAI.PartitionPilot.Forcing.StageThreeClosureData line 360
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.stageThreeClosureData line 433