OAI/SetTheory/PartitionPrinciple/Definability/GroundSemanticStructuralCutActions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefixAction_code line 60
2. def OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefixAction line 72
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefixAction_graph line 82
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefixAction_coordinates line 89
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.binaryRowSemanticPrefixTuple_supported line 131
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralRestriction_equivariant line 276
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralInclusion_equivariant line 307
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPower_family line 386
9. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefixPower_family line 426
10. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralCutGraph_act line 515