OAI/Combinatorics/MatchingCount/Tapes/TreeErasurePrimitives.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.program_congr line 8
2. lemma OAI.MatchingFPRAS.TreeTyped.program_recode line 9
3. lemma OAI.MatchingFPRAS.TreeTyped.program_composition line 10
4. lemma OAI.MatchingFPRAS.TreeTyped.program_pair line 12
5. lemma OAI.MatchingFPRAS.TreeTyped.program_fold line 14
6. lemma OAI.MatchingFPRAS.TreeTyped.program_choose line 16
7. lemma OAI.MatchingFPRAS.TreeTyped.program_constant line 21