OAI/Computability/MatchingCount/ArgRoutine.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryMatching.StackCode.argAux_code line 10
2. theorem OAI.BinaryMatching.StackCode.Poly.argAux line 23
3. theorem OAI.BinaryMatching.StackCode.Poly.listArgAux line 37
4. theorem OAI.BinaryMatching.StackCode.Poly.listArgmin line 44
5. theorem OAI.BinaryMatching.StackCode.Poly.listArgmax line 50
6. lemma OAI.BinaryMatching.StackCode.argmin_map_exact line 58
7. theorem OAI.BinaryMatching.StackCode.Poly.listArgminParam line 72
8. theorem OAI.BinaryMatching.StackCode.Poly.listArgmaxParam line 85