OAI/GroupTheory/PolycyclicRecognition/Algebra/TruncatedPrimitiveCoefficients.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Primitive rational coefficients of the truncated universal logarithm

  1. theorem OAI.PolycyclicRecognition.pairedWordCoproduct_eq_truncated line 16
  2. theorem OAI.PolycyclicRecognition.primitive_truncated_coefficient line 34
  3. def OAI.PolycyclicRecognition.universalLogarithmCoefficient line 52
  4. theorem OAI.PolycyclicRecognition.universalLogarithmCoefficient_primitive line 55