OAI/GroupTheory/PolycyclicRecognition/Finiteness/CompleteCohomologyStableMaps.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Stable maps and projective presentations in complete cohomology

  1. theorem OAI.PolycyclicRecognition.shiftedCompleteFunctor_map_zero_of_stable_zero line 13
  2. theorem OAI.PolycyclicRecognition.shiftedCompleteFunctor_map_eq_of_stable_eq line 30
  3. theorem OAI.PolycyclicRecognition.shiftedCompleteMap_eq_of_stable_eq line 41
  4. theorem OAI.PolycyclicRecognition.shiftedCompleteMap_zero_of_stable_zero line 47
  5. theorem OAI.PolycyclicRecognition.shiftedCompletedCohomologyMap_comp_apply line 53
  6. def OAI.PolycyclicRecognition.shiftedCompleteStableIso line 59
  7. theorem OAI.PolycyclicRecognition.projectivePresentation_completeEquiv line 74