`OAI/GroupTheory/PolycyclicRecognition/Analysis/TemplateSupportDirections.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Exponents of a finite family of actual support positions

def OAI.PolycyclicRecognition.CartanWordModel.templateSupportExponent line 13
Source documentation
Each generator uses its own prescribed supporting Cartan position.
```
def templateSupportExponent (v : Fin M.letterCount → H) (i : Fin M.letterCount) : ℝ :=
…
```