OAI/SetTheory/PartitionPrinciple/Geometry/FiniteIterationTraces.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.natIterate line 11
2. structure OAI.PartitionPilot.Forcing.IterationTraceCode line 15
3. def OAI.PartitionPilot.Forcing.finiteIterationTrace line 21
4. theorem OAI.PartitionPilot.Forcing.pair_mem_finiteIterationTrace line 25
5. theorem OAI.PartitionPilot.Forcing.finiteIterationTrace_code line 38
6. theorem OAI.PartitionPilot.Forcing.IterationTraceCode.value line 52
7. theorem OAI.PartitionPilot.Forcing.IterationTraceCode.output line 73
8. theorem OAI.PartitionPilot.Forcing.TransitiveGround.finiteIterationTrace_mem line 86