OAI/GroupTheory/PolycyclicRecognition/Algebra/WordCutCounting.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Binomial counting of the internal cuts of a word

  1. theorem OAI.PolycyclicRecognition.sum_range_prefix_choose line 12
  2. theorem OAI.PolycyclicRecognition.sum_internal_word_cuts line 20