OAI/Combinatorics/TriangleRemoval/Tracking/CodegreeVarianceRate.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SharpTerminalLeave.pmfMean_centered_sq_le line 18
  2. theorem OAI.SharpTerminalLeave.codegree_centered_range line 25
  3. theorem OAI.SharpTerminalLeave.codegree_centered_variance line 46
  4. theorem OAI.SharpTerminalLeave.markovLaw_triangle_step line 55
  5. def OAI.SharpTerminalLeave.codegreeVarianceRate line 61
  6. theorem OAI.SharpTerminalLeave.triangle_codegree_noise_freedman line 65