OAI/GroupTheory/PolycyclicRecognition/Finiteness/FinsuppCompleteVanishing.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The constant-family direct sum form of a countable coefficient sum

  1. def OAI.PolycyclicRecognition.finsuppIntegralSumIso line 14
  2. theorem OAI.PolycyclicRecognition.TypeFPInfinity.finsupp_completeCohomology line 28