OAI/Combinatorics/TriangleRemoval/Process/OverlapVertices.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SharpTerminalLeave.overlapVertices line 14
  2. lemma OAI.SharpTerminalLeave.mem_overlapVertices line 17
  3. lemma OAI.SharpTerminalLeave.overlapVertices_contains_roots line 20
  4. theorem OAI.SharpTerminalLeave.rooted_overlap_fiber_card line 28
  5. lemma OAI.SharpTerminalLeave.imageEdges_inter_subset_induced line 53
  6. theorem OAI.SharpTerminalLeave.rooted_new_edges_lower line 67
  7. theorem OAI.SharpTerminalLeave.rooted_weighted_extension_bound line 81
  8. lemma OAI.SharpTerminalLeave.rooted_completion_factorization line 139
  9. theorem OAI.SharpTerminalLeave.largeTemplate_completion_scale line 154
  10. def OAI.SharpTerminalLeave.copyUnionSum line 164
  11. lemma OAI.SharpTerminalLeave.copyUnionSum_const_mul line 169
  12. lemma OAI.SharpTerminalLeave.copyUnionSum_mono_bounded line 176
  13. lemma OAI.SharpTerminalLeave.copyUnionSum_intact line 192
  14. lemma OAI.SharpTerminalLeave.copyUnionSum_mean line 204
  15. lemma OAI.SharpTerminalLeave.rooted_image_vertices line 214
  16. theorem OAI.SharpTerminalLeave.rooted_union_moment_partition line 219
  17. theorem OAI.SharpTerminalLeave.rooted_count_moment_from_survival line 270
  18. theorem OAI.SharpTerminalLeave.pmfMean_stopped_power_tail line 312