OAI/Combinatorics/MatchingCount/Probability/MainLaw.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.LiteralPhysical.ProperTape line 12
2. def OAI.MatchingFPRAS.LiteralPhysical.AccurateTape line 14
3. lemma OAI.MatchingFPRAS.LiteralPhysical.properTape_of_word line 16
4. lemma OAI.MatchingFPRAS.LiteralPhysical.accurateTape_of_word line 19
5. lemma OAI.MatchingFPRAS.LiteralPhysical.mainProgram_all line 23
6. lemma OAI.MatchingFPRAS.LiteralPhysical.mainProgram_outputs line 30
7. lemma OAI.MatchingFPRAS.LiteralPhysical.average_good line 42
8. lemma OAI.MatchingFPRAS.LiteralPhysical.mainProgram_success line 53