OAI/SetTheory/PartitionPrinciple/Geometry/GroundFiniteWordLength.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.BoundedFormula.finiteWordLengthEntryFormula line 14
2. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_finiteWordLengthEntryFormula line 18
3. def OAI.PartitionPilot.Forcing.TransitiveGround.finiteWordLengthGraph line 33
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.pair_mem_finiteWordLengthGraph line 38
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.finiteWordLengthGraph_function line 49
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.pair_mem_finiteWordLengthGraph_word line 61
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.finiteWordLengthGraph_mem line 75