OAI/GroupTheory/PolycyclicRecognition/Algebra/PolynomialDerivationAction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Derivation flows act on polynomial exponential groups

  1. def OAI.PolycyclicRecognition.PolynomialExponentialCoordinates.groupAutomorphism line 16
  2. theorem OAI.PolycyclicRecognition.PolynomialExponentialCoordinates.groupAutomorphism_apply line 28
  3. def OAI.PolycyclicRecognition.PolynomialExponentialCoordinates.derivationAction line 31
  4. theorem OAI.PolycyclicRecognition.PolynomialExponentialCoordinates.derivationAction_apply line 41