OAI/GroupTheory/PolycyclicRecognition/Finiteness/ResolutionCoefficientSequence.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Short exact coefficient sequences in a projective-resolution Hom complex

  1. def OAI.PolycyclicRecognition.resolutionCoefficientSequence line 14
  2. theorem OAI.PolycyclicRecognition.resolutionCoefficientSequence_shortExact line 23