OAI/SetTheory/PartitionPrinciple/Definability/GroundSemanticStructuralRefinementNormalization.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefixSharedCondition_spec line 67
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralNameLift_act line 181
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralNameLift_stabilizer line 194
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralNameLift_supported line 216
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralNameLift_hs line 228
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralCrossStageName_act line 306
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralCrossStageName_nice line 325
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralCrossStagePower_hs line 342
9. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefixRefinementNormalization line 446