OAI/Analysis/SymmetricDomains/CompleteGeneratorLieAlgebra.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Release061.Biholomorph.IsCompleteGenerator.lieBracket line 43
2. def OAI.Release061.Biholomorph.completeGeneratorBracket line 73
3. instance OAI.Release061.Biholomorph.completeGeneratorLieRing line 77
4. instance OAI.Release061.Biholomorph.completeGeneratorLieAlgebra line 116