OAI/SetTheory/PartitionPrinciple/Forcing/GroundStructuralForcingActionGraphs.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.TransitiveGround.structuralForcingCarrier line 12
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralForcingCarrier_mem line 23
3. def OAI.PartitionPilot.Forcing.TransitiveGround.structuralForcingCarrierFormula line 30
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.realize_structuralForcingCarrierFormula line 37
5. def OAI.PartitionPilot.Forcing.TransitiveGround.definable_structuralAssignments line 93
6. def OAI.PartitionPilot.Forcing.TransitiveGround.definable_structuralAssignmentActionGraph line 103
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralAssignmentActionGraph_mem line 143
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.structuralForcingActionGraph_mem line 161