OAI/GroupTheory/PolycyclicRecognition/Algebra/LogarithmCoefficientStability.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Stable coefficients of a finite logarithm in the augmentation ideal

  1. theorem OAI.PolycyclicRecognition.finiteNilpotentLog_succ line 11
  2. theorem OAI.PolycyclicRecognition.WordCoefficientAgreement.finiteLog line 18
  3. theorem OAI.PolycyclicRecognition.finiteLog_coefficient_stable line 30