OAI/Combinatorics/MatchingCount/Machines/OnlineCase.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.MatchingFPRAS.OnlineTree.Case.Point line 15
2. instance OAI.MatchingFPRAS.OnlineTree.Case.(instance at line 17) line 17
3. def OAI.MatchingFPRAS.OnlineTree.Case.code line 18
4. lemma OAI.MatchingFPRAS.OnlineTree.Case.runs line 26
5. def OAI.MatchingFPRAS.OnlineTree.caseBool line 74
6. def OAI.MatchingFPRAS.OnlineTree.conditional line 79