OAI/Combinatorics/MatchingCount/Machines/OnlineFrame.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.MatchingFPRAS.OnlineTree.Second.Point line 15
2. instance OAI.MatchingFPRAS.OnlineTree.Second.(instance at line 17) line 17
3. def OAI.MatchingFPRAS.OnlineTree.Second.code line 18
4. lemma OAI.MatchingFPRAS.OnlineTree.Second.runs line 25
5. def OAI.MatchingFPRAS.OnlineTree.mapSecond line 63
6. def OAI.MatchingFPRAS.OnlineTree.pair line 72