OAI/Topology/ArtinGroups/Quivers/TestPlacement.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testPlacement line 12
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testMatrix_degree line 16
3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.evaluationMatrix line 39
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.evaluation_entries line 44
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.evaluation_degree line 60
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.evaluation_mul line 79
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testMatrix_evaluation line 89
8. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.testComplex line 114
9. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.evaluation line 124