OAI/Combinatorics/TriangleRemoval/Process/RelativeSafeCopyIncrement.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.relativeSafeCopyIncrement line 18
2. def OAI.SharpTerminalLeave.relativeCopyVarianceRate line 24
3. def OAI.SharpTerminalLeave.relativeSafeCopyVarianceRate line 28
4. theorem OAI.SharpTerminalLeave.triangle_relative_safe_template_freedman line 34
5. def OAI.SharpTerminalLeave.pastRelativeCopyLoadsSafe line 81
6. lemma OAI.SharpTerminalLeave.relativeSafeCopyNoise_eq line 85
7. lemma OAI.SharpTerminalLeave.relativeSafeCopyCounter_eq line 97
8. theorem OAI.SharpTerminalLeave.triangle_relative_template_before_load_exit line 110