OAI/Topology/ArtinGroups/Harmonic/StringAdjacent.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.stringAdjacent line 10
2. instance OAI.HarmonicArtin.(instance at line 13) line 13
3. lemma OAI.HarmonicArtin.stringAdjacent_symm line 15
4. lemma OAI.HarmonicArtin.stringAdjacent_connected line 19
5. lemma OAI.HarmonicArtin.stringAdjacent_weight line 40
6. def OAI.HarmonicArtin.ReversibleQuiver.fixedOrientation line 57
7. lemma OAI.HarmonicArtin.ReversibleQuiver.fixedOrientation_reverse line 61
8. lemma OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.string_connection_exists line 90
9. theorem OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.string_wordOrbit_socle_proportional line 105
10. theorem OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.string_wordOrbit_top_proportional line 116
11. theorem OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.string_wordOrbit_count_proportional line 127