OAI/Combinatorics/MatchingCount/Machines/TreeProgramUnique.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.RegisterProc.Exec.unique line 10
2. lemma OAI.MatchingFPRAS.TreePost.stacks_eq_of_encode line 25
3. lemma OAI.MatchingFPRAS.TreePost.packed_eq_of_stacks line 27
4. lemma OAI.MatchingFPRAS.TreePost.packed_eq_of_encode line 33
5. lemma OAI.MatchingFPRAS.TreePost.sameProgram_output line 35