OAI/GroupTheory/PolycyclicRecognition/Geometry/IntrinsicDerivationFlow.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Nilpotent derivation flow in any Lie group

  1. theorem OAI.PolycyclicRecognition.derivationFlow_intrinsic_adjoint line 19
  2. theorem OAI.PolycyclicRecognition.derivationFlow_intrinsic_conjugation line 36