OAI/Combinatorics/MatchingCount/Tapes/WordOps.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.WordOps.duplicate line 9
2. lemma OAI.MatchingFPRAS.WordOps.duplicate_nil line 12
3. lemma OAI.MatchingFPRAS.WordOps.duplicate_cons line 15
4. theorem OAI.MatchingFPRAS.WordOps.run_duplicate line 19
5. lemma OAI.MatchingFPRAS.WordOps.duplicate_accesses line 27
6. def OAI.MatchingFPRAS.WordOps.clear line 29
7. lemma OAI.MatchingFPRAS.WordOps.clear_nil line 31
8. lemma OAI.MatchingFPRAS.WordOps.clear_cons line 34
9. theorem OAI.MatchingFPRAS.WordOps.run_clear line 37
10. lemma OAI.MatchingFPRAS.WordOps.clear_accesses line 42