OAI/GroupTheory/PolycyclicRecognition/Algebra/RationalWordEvaluation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Evaluation and the empty-word coefficient of rational words

  1. def OAI.PolycyclicRecognition.rationalWordEvaluation line 13
  2. theorem OAI.PolycyclicRecognition.rationalWordEvaluation_single line 16
  3. def OAI.PolycyclicRecognition.rationalWordAugmentation line 21
  4. theorem OAI.PolycyclicRecognition.rationalWordAugmentation_eq_coeff line 24
  5. theorem OAI.PolycyclicRecognition.rationalWord_emptyCoeff_mul line 44