OAI/SetTheory/PartitionPrinciple/Definability/GroundSemanticAssignmentLabelDomainTotality.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_stageSystem line 75
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_assignmentImage_decode line 113
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.storedAssignmentImage_entry line 185
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.occurrenceAt_code line 264
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralAssignment_occurrence_act line 338
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralAssignment_occurrence_fixed_index line 400
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralAssignmentImage_dataBound line 477
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralAssignmentLabel_supported_hs line 668
9. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralAssignmentLabel_ground_supported_hs line 800
10. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralAssignmentLabel_domain_total line 925