OAI/Combinatorics/SharpThreshold/Permutation.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem313.permEdge_refl line 8
  2. theorem OAI.Problem313.permEdge_permEdge line 13
  3. theorem OAI.Problem313.permEdge_symm_permEdge line 19
  4. theorem OAI.Problem313.permEdge_permEdge_symm line 23
  5. def OAI.Problem313.permEdgeEquiv line 27
  6. theorem OAI.Problem313.permuteConfig_refl line 33
  7. theorem OAI.Problem313.permuteConfig_perm line 38
  8. theorem OAI.Problem313.permuteConfig_symm_permuteConfig line 44
  9. theorem OAI.Problem313.permuteConfig_permuteConfig_symm line 48
  10. def OAI.Problem313.permuteConfigEquiv line 52
  11. theorem OAI.Problem313.permEdge_transitive line 59
  12. theorem OAI.Problem313.graphWeight_permuteConfig line 64
  13. theorem OAI.Problem313.permuteConfig_update line 70
  14. theorem OAI.Problem313.edgeInfluence_permEdge line 77
  15. theorem OAI.Problem313.edgeInfluence_eq line 89
  16. theorem OAI.Problem313.totalInfluence_eq_card_mul line 95