OAI/GroupTheory/PolycyclicRecognition/Algebra/CyclicParameterBasis.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

A basis with the added time coordinate last

  1. def OAI.PolycyclicRecognition.cyclicCoordinateEquiv line 14
  2. def OAI.PolycyclicRecognition.cyclicParameterBasis line 34
  3. theorem OAI.PolycyclicRecognition.cyclicParameterBasis_integer line 38
  4. theorem OAI.PolycyclicRecognition.transportedProductParameter_integer line 45