OAI/Combinatorics/MatchingCount/Machines/OnlineTree.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.OnlineTree.StoreCfg line 11
2. def OAI.MatchingFPRAS.OnlineTree.initial line 12
3. def OAI.MatchingFPRAS.OnlineTree.final line 14
4. structure OAI.MatchingFPRAS.OnlineTree.Realizer line 16
5. def OAI.MatchingFPRAS.OnlineTree.deterministic line 25
6. def OAI.MatchingFPRAS.OnlineTree.composition line 39
7. def OAI.MatchingFPRAS.OnlineTree.Realizer.congr line 59
8. def OAI.MatchingFPRAS.OnlineTree.chooseProgram line 68
9. def OAI.MatchingFPRAS.OnlineTree.choose line 81
10. def OAI.MatchingFPRAS.OnlineTree.randomBit line 104