OAI/SetTheory/PartitionPrinciple/Geometry/FiniteWordOperations.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.FiniteWordAppendCode line 11
2. def OAI.PartitionPilot.Forcing.FiniteWordReverseCode line 19
3. theorem OAI.PartitionPilot.Forcing.finiteWordGraph_append_entry line 25
4. theorem OAI.PartitionPilot.Forcing.finiteWordGraph_reverse_entry line 56
5. theorem OAI.PartitionPilot.Forcing.finiteWordGraph_append_code line 75
6. theorem OAI.PartitionPilot.Forcing.finiteWordGraph_reverse_code line 94
7. theorem OAI.PartitionPilot.Forcing.FiniteWordAppendCode.unique line 115
8. theorem OAI.PartitionPilot.Forcing.FiniteWordReverseCode.unique line 141
9. theorem OAI.PartitionPilot.Forcing.finiteWordAppendCode_iff line 160
10. theorem OAI.PartitionPilot.Forcing.finiteWordReverseCode_iff line 166