OAI/SetTheory/PartitionPrinciple/Geometry/GroundMainFinalRowRectangles.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.internalRowAction_aligned_agrees line 24
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.internalRowAction_one_copy_union line 67
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.internalRowAction_rectangle_union line 88
4. theorem OAI.PartitionPilot.Forcing.GroundMainFinalGeometry.decoded_rectangle_request line 143
5. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.FinalFulfillment.decoded_separate_at line 204
6. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.FinalFulfillment.internalRow_rectangle_union line 250
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowStructural_aligned_copy_union line 402
8. theorem OAI.PartitionPilot.Forcing.GroundMainPrefix.FinalFulfillment.structural_separating_copy_union line 574