OAI/GroupTheory/PolycyclicRecognition/Finiteness/ShiftedCohomologyDimensionShift.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Dimension shifting in the completed coefficient theory

  1. def OAI.PolycyclicRecognition.shiftedSyzygyStageIso line 15
  2. theorem OAI.PolycyclicRecognition.cohomologyConnecting_reindex line 22
  3. theorem OAI.PolycyclicRecognition.shiftedSyzygyStageIso_connecting line 33
  4. theorem OAI.PolycyclicRecognition.shiftedCohomologyForward_succ line 61
  5. theorem OAI.PolycyclicRecognition.shiftedSyzygyStageIso_forward line 67
  6. def OAI.PolycyclicRecognition.shiftedSyzygyTailEquiv line 89
  7. def OAI.PolycyclicRecognition.shiftedSyzygyEquiv line 99
  8. def OAI.PolycyclicRecognition.shiftedSyzygyAddEquiv line 105
  9. theorem OAI.PolycyclicRecognition.cohomologyMap_reindex line 110
  10. theorem OAI.PolycyclicRecognition.shiftedSyzygyStageIso_natural line 121
  11. theorem OAI.PolycyclicRecognition.shiftedSyzygyEquiv_of line 136
  12. theorem OAI.PolycyclicRecognition.shiftedSyzygyEquiv_natural line 149
  13. theorem OAI.PolycyclicRecognition.shiftedSyzygyEquiv_symm_natural line 159