OAI/Combinatorics/MatchingCount/Tapes/CoinSupport.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.CoinAlphabet.normal_not_writes line 13
2. lemma OAI.MatchingFPRAS.CoinAlphabet.normal_mem line 16
3. lemma OAI.MatchingFPRAS.CoinAlphabet.coins_supported line 24
4. lemma OAI.MatchingFPRAS.CoinAlphabet.cfg_supported line 35
5. lemma OAI.MatchingFPRAS.CoinStack.normal_not_internal line 51
6. lemma OAI.MatchingFPRAS.CoinStack.normal_mem line 59
7. lemma OAI.MatchingFPRAS.CoinStack.coins_supported line 67
8. lemma OAI.MatchingFPRAS.CoinStack.cfg_supported line 80