OAI/Topology/ArtinGroups/Quivers/TestTransform.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testTransform line 11
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testTransform_mul line 16
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testTransform_zero line 26
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testTransform_add line 33
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testTransform_neg line 43
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testTransform_identity line 51
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.evaluation_natural line 76
8. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.coevaluation_natural line 85
9. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.Map.test line 99
10. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.Map.cotest line 109