OAI/Topology/ArtinGroups/Quivers/SimpleEdge.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.HarmonicArtin.ReversibleQuiver.Zigzag.SimpleEdge line 10
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.SimpleEdge.reverse line 21
3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.SimpleEdge.corner line 32
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.SimpleEdge.corner_unique line 34
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.SimpleEdge.corner_val line 42
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.SimpleEdge.reverse_arrow line 43