OAI/Topology/ArtinGroups/Complexes/PureLayerSelf.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.pure_minimal line 17
  2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.pureLayerSelf line 22
  3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.HomotopyEquivalence.ofPure line 31
  4. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.TermwiseSplitInjection.trans line 40
  5. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.ChainIsomorphism.termwiseSplit line 51
  6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.pureMap_zero_off_colors line 57
  7. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.TermwiseSplitInjection.colorTarget line 67