OAI/GroupTheory/PolycyclicRecognition/Finiteness/FiniteSumCompleteVanishing.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Complete cohomology of finite sums of vanishing coefficients

  1. def OAI.PolycyclicRecognition.integralRepresentationSumProjection line 14
  2. theorem OAI.PolycyclicRecognition.integralRepresentationSumProjection_apply line 21
  3. theorem OAI.PolycyclicRecognition.integralRepresentationSum_total line 25
  4. theorem OAI.PolycyclicRecognition.finiteSum_completeCohomology line 45