OAI/Topology/ArtinGroups/Quivers/VertexMinimal.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.VertexMinimal line 12
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.vertexEntries_zero_left line 15
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.vertexEntries_zero_right line 23
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.reductionAt_vertex_boundary line 31
5. theorem OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.multiplicity_eq_of_vertex_homotopyEquivalence line 49
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.positiveTwist_vertexMinimal line 74
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.negativeTwist_vertexMinimal line 87