OAI/Probability/FreeIsing/Trees/RootedTransitivity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem367.exists_treeAut_map_common_stem line 9
2. theorem OAI.Problem367.exists_rootFixing_treeAut_map line 64
3. theorem OAI.Problem367.exists_treeAut_map_adjacent_pair line 74
4. theorem OAI.Problem367.rootFixing_treeAut_orbit_iff line 107
5. theorem OAI.Problem367.root_stabilizer_invariant_iff_radial line 117