OAI/Topology/ArtinGroups/Complexes/ReverseTwistProjection.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistProjection line 12
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistInjection line 18
3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistHomotopy line 24
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistProjection_entries line 28
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistProjection_degree line 47
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistInjection_entries line 58
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistInjection_degree line 77
8. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistHomotopy_entries line 89
9. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.reverseTwistHomotopy_degree line 95