OAI/Combinatorics/MatchingCount/Machines/TreeStateTable.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.ExecutableLadder.StateTable line 11
2. def OAI.MatchingFPRAS.ExecutableLadder.lookup line 13
3. def OAI.MatchingFPRAS.ExecutableLadder.lookupRealizer line 15
4. lemma OAI.MatchingFPRAS.ExecutableLadder.polynomial_lookup line 24
5. def OAI.MatchingFPRAS.ExecutableLadder.stateRep line 39
6. lemma OAI.MatchingFPRAS.ExecutableLadder.lookup_stateRep line 41
7. def OAI.MatchingFPRAS.ExecutableLadder.setState line 53
8. def OAI.MatchingFPRAS.ExecutableLadder.setStateRealizer line 55
9. lemma OAI.MatchingFPRAS.ExecutableLadder.polynomial_setState line 60
10. lemma OAI.MatchingFPRAS.ExecutableLadder.setState_rep line 66
11. def OAI.MatchingFPRAS.ExecutableLadder.setPair line 74
12. def OAI.MatchingFPRAS.ExecutableLadder.setPairRealizer line 76
13. lemma OAI.MatchingFPRAS.ExecutableLadder.polynomial_setPair line 80
14. lemma OAI.MatchingFPRAS.ExecutableLadder.setPair_rep line 87