OAI/Combinatorics/TriangleRemoval/Coupling/GridUniformError.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.gridUniformError line 19
2. lemma OAI.SharpTerminalLeave.gridUniformError_nonneg line 24
3. lemma OAI.SharpTerminalLeave.gridMessage_uniform_error line 28
4. def OAI.SharpTerminalLeave.gridCandidateFailure line 35
5. lemma OAI.SharpTerminalLeave.gridCandidateFailure_error line 40
6. lemma OAI.SharpTerminalLeave.gridAnswer_uniform_error line 69
7. lemma OAI.SharpTerminalLeave.gridCandidateFailure_product line 84