OAI/SetTheory/PartitionPrinciple/Geometry/GroundBelowExternalPoints.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.GroundBelow.finiteWords line 13
2. theorem OAI.PartitionPilot.Forcing.GroundBelow.equivalenceClasses line 36
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalGroupCarrier_below line 55
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalRectangleBound_below line 86
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalRectangles_below line 94
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalRequestCarrier_below line 105
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalChildLetters_below line 117
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalGeneratorAlphabet_below line 131
9. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalGroupCarrier_below_of_carriers line 142
10. theorem OAI.PartitionPilot.Forcing.GroundExternalGeometryInputs.externalPointCarrier_below line 169
11. theorem OAI.PartitionPilot.Forcing.GroundExternalGeometryInputs.externalBoundedCarrier_below line 181