OAI/SetTheory/PartitionPrinciple/Forcing/GroundStoredStructuralRequestActions.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.groundRelations_act_mem line 20
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.groundRelations_nameAction_ground_function line 34
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.niceAssignmentClassGraphs_function line 67
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.niceAssignmentClassGraphs_act_entry line 96
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.niceAssignmentClassImage_act line 173
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.storedPreparationRequests_act line 253
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralAssignmentImage_selection_eq_refinement line 325
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.storedPreparationRequests_structural_act line 361