Documentation
LeanPool
.
CompositionAlgebras
.
Imports
Search
return to top
source
Imports
Init
LeanPool.CompositionAlgebras
LeanPool.CompositionAlgebras.OctonionModule
LeanPool.CompositionAlgebras.OctonionNucleus
LeanPool.CompositionAlgebras.OctonionTrace
LeanPool.CompositionAlgebras.Octonions
LeanPool.CompositionAlgebras.Composition.CayleyDickson
LeanPool.CompositionAlgebras.Composition.Classification
LeanPool.CompositionAlgebras.Composition.Defs
LeanPool.CompositionAlgebras.Composition.Doubling
LeanPool.CompositionAlgebras.Composition.Hurwitz
LeanPool.CompositionAlgebras.Composition.Instances
LeanPool.CompositionAlgebras.Composition.Isomorphisms
Imported by