OAI/GroupTheory/PolycyclicRecognition/Algebra/BarCoefficientNaturality.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Naturality of the bar-to-inhomogeneous coefficient comparison

  1. def OAI.PolycyclicRecognition.barCoefficientChainFunctor line 16
  2. instance OAI.PolycyclicRecognition.(instance at line 29) line 29
  3. def OAI.PolycyclicRecognition.barCoefficientInhomogeneousIso line 35
  4. def OAI.PolycyclicRecognition.chainZeroOpcyclesHomologyIso line 61
  5. def OAI.PolycyclicRecognition.inhomogeneousZeroHomologyIso line 68
  6. def OAI.PolycyclicRecognition.barCoefficientOpcyclesIso line 75