OAI/SetTheory/PartitionPrinciple/Geometry/GroundBinaryRowRecordedPreparationBounds.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowDataSelection line 27
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralIndex_anchor_fields line 91
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralIndexAnchors_function line 99
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralIndexAnchorData line 105
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowStructuralDataSelection line 144
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowStructuralConditionDataBound line 187
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowRecordedPreparationConditionDataBound line 250
8. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.FinalFulfillment.exists_rowSemanticStructuralBoundHistory line 316