OAI/Combinatorics/TriangleRemoval/Tracking/CodegreeVertexCount.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.codegree_le_vertex_count line 18
2. lemma OAI.SharpTerminalLeave.earlyCodegreeScale_ge_prefixD line 23
3. lemma OAI.SharpTerminalLeave.initial_codegree_relative_le_four line 30
4. theorem OAI.SharpTerminalLeave.prefix_codegree_relative_noise_bound line 51