OAI/Combinatorics/MatchingCount/Machines/CoinTM1Finite.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.CoinTM1.nodes line 13
2. def OAI.MatchingFPRAS.CoinTM1.states line 15
3. lemma OAI.MatchingFPRAS.CoinTM1.node_entry line 19
4. lemma OAI.MatchingFPRAS.CoinTM1.node_pending line 22
5. lemma OAI.MatchingFPRAS.CoinTM1.state_mem line 26
6. lemma OAI.MatchingFPRAS.CoinTM1.aux_supported line 30
7. theorem OAI.MatchingFPRAS.CoinTM1.table_supported line 61