OAI/Probability/SwitchChain/HavelConnectivity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem315.havel_neighborhood_repair_of_moves line 13
2. theorem OAI.Problem315.havel_neighborhood_repair line 66
3. theorem OAI.Problem315.graphDegree_eq_degree line 77
4. theorem OAI.Problem315.connectivity_of_fourVertex_moves line 85
5. theorem OAI.Problem315.switch_connectivity_direct line 101