OAI/Probability/SpanningForest/EdgeAction.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem336.rawPair_comm line 9
  2. theorem OAI.Problem336.rawPair_of_lt line 13
  3. theorem OAI.Problem336.mkEdge_val line 17
  4. theorem OAI.Problem336.mkEdge_of_lt line 22
  5. theorem OAI.Problem336.mkEdge_swap line 26
  6. theorem OAI.Problem336.mkEdge_endpoints line 31
  7. theorem OAI.Problem336.mapEdge_mkEdge line 36
  8. theorem OAI.Problem336.mapEdge_refl line 48
  9. theorem OAI.Problem336.mapEdge_trans line 53
  10. theorem OAI.Problem336.mapEdge_symm_apply line 58
  11. theorem OAI.Problem336.mapEdge_apply_symm line 63
  12. def OAI.Problem336.edgeEquiv line 67
  13. theorem OAI.Problem336.edgeEquiv_apply line 73
  14. theorem OAI.Problem336.mapEdge_injective line 76
  15. theorem OAI.Problem336.mapEdge_surjective line 79
  16. theorem OAI.Problem336.mapEdge_inj line 82