OAI/SetTheory/PartitionPrinciple/Geometry/GroundRowAssignmentProjections.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.rowAssignmentRows line 11
2. def OAI.PartitionPilot.Forcing.rowAssignmentData line 14
3. theorem OAI.PartitionPilot.Forcing.rowAssignmentRows_entry line 17
4. theorem OAI.PartitionPilot.Forcing.rowAssignmentData_entry line 30
5. theorem OAI.PartitionPilot.Forcing.restrict_function line 43
6. theorem OAI.PartitionPilot.Forcing.rowAssignmentRows_function line 55
7. theorem OAI.PartitionPilot.Forcing.rowAssignmentData_function line 59
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.rowAssignmentRows_mem line 70
9. theorem OAI.PartitionPilot.Forcing.TransitiveGround.rowAssignmentData_mem line 75