OAI/Computability/PerfectCompleteness/Foundations/SourceVisitOrder.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.SourceVisitOrder.visitOrder line 16
2. theorem OAI.PerfectCompleteness.SourceVisitOrder.visitOrder_eq_tupleOrder line 20
3. theorem OAI.PerfectCompleteness.SourceVisitOrder.visitOrder_reverse line 27
4. theorem OAI.PerfectCompleteness.SourceVisitOrder.visitOrder_length line 31
5. theorem OAI.PerfectCompleteness.SourceVisitOrder.visitOrder_nodup line 35
6. theorem OAI.PerfectCompleteness.SourceVisitOrder.mem_visitOrder line 39
7. theorem OAI.PerfectCompleteness.SourceVisitOrder.visitOrder_toFinset line 43
8. theorem OAI.PerfectCompleteness.SourceVisitOrder.sum_map_visitOrder line 49
9. theorem OAI.PerfectCompleteness.SourceVisitOrder.output_eq_reverse_visitOrder line 55