OAI/SetTheory/PartitionPrinciple/Geometry/GroundExternalRewriteSteps.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.externalWordStepGraph line 11
2. theorem OAI.PartitionPilot.Forcing.pair_mem_externalWordStepGraph line 15
3. theorem OAI.PartitionPilot.Forcing.externalWordStepGraph_subset line 26
4. theorem OAI.PartitionPilot.Forcing.externalWordStepGraph_symmetric line 30
5. def OAI.PartitionPilot.Forcing.BoundedFormula.externalWordStepEntryFormula line 38
6. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_externalWordStepEntryFormula line 43
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalWordStepGraph_mem line 65
8. def OAI.PartitionPilot.Forcing.TransitiveGround.externalWordSteps line 92
9. theorem OAI.PartitionPilot.Forcing.TransitiveGround.externalWordSteps_mem line 96