Swift Package Index

Build Information

Failed to build SwiftyAlgebra, reference master (44c947), with Swift 6.3 for macOS (Xcode) using Xcode 26.4 on 14 Apr 2026 04:49:32 UTC.

Build Command

env DEVELOPER_DIR=/Applications/Xcode-26.4.0.app xcrun xcodebuild -IDEClonedSourcePackagesDirPathOverride=$PWD/.dependencies -skipMacroValidation -skipPackagePluginValidation -derivedDataPath $PWD/.derivedData build -scheme SwiftyAlgebra -destination platform=macOS,arch=arm64

Build Log

- (#786) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#788) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#790) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#792) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#794) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#796) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#798) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#800) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#802) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#804) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#806) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[SetType] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[SetType] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#807) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[SetType] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[SetType] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType]
- (#808) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Copyable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#809) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Copyable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable]
- (#810) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Escapable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#811) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Escapable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable]
- (#812) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Hashable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#813) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Hashable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable]
- (#814) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[CustomStringConvertible] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#815) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[CustomStringConvertible] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]
- (#816) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Equatable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#817) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Equatable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable]
- (#818) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[LieAlgebra] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#819) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[LieAlgebra] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]
- (#820) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[VectorSpace] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#821) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[VectorSpace] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]
- (#822) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Module] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Module] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#823) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Module] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Module] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module]
- (#824) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[AdditiveGroup] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
- (#825) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[AdditiveGroup] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]
- (#826) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[SetType] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[SetType] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#827) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Copyable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#828) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Escapable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#829) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Hashable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#830) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[CustomStringConvertible] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#831) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Equatable] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#832) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[LieAlgebra] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#833) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[VectorSpace] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#834) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[Module] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Module] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#835) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[AdditiveGroup] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#836) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#837) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[Ring] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#838) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[Copyable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#839) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[Escapable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#840) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].IntegerLiteralType => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#841) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#842) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[Monoid] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#843) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#844) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[SetType] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#845) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#846) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#847) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[Equatable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#848) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:VectorSpace].([Module:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
}
Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace.
Stack dump:
0.	Program arguments: /Applications/Xcode-26.4.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift-frontend -frontend -emit-module -experimental-skip-non-inlinable-function-bodies-without-types /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Field.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Group.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Module.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Monoid.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/NormedSpace.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/BernoulliNumbers.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/IntList.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/Permutation.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/combinatorics.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/IntegerFactorization.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/PolynomialFactorization.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Array.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Dictionary.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Sequence.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModule.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModuleBase.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModuleHom.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainComplex.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainComplexOperations.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainMap.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ExactSequence.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/Homology.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyClass.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyExactSequence.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyMap.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/ComputationalMatrix.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/DiagonalEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/EchelonEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/HermiteEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminationResult.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/SmithEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Matrix.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/SquareMatrix.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Vector.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/CustomOperators.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/Randomable.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/TypeParameters.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Complex.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Integer.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Quaternion.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Rational.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Real.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Z_2.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MPolynomial.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MultiplicativeSequence.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PolynomialIdeal.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/Polynominal.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PowerSeries.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/SymmetricPolynomial.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/AlgebraicStructure.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/GroupStructure.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/AlternatingGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/SymmetricGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Cache.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Expression.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Ref.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/debug.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/optable.swift -target arm64-apple-macos10.13 -Xllvm -aarch64-use-tbi -enable-objc-interop -sdk /Applications/Xcode-26.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX26.4.sdk -I /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug -Isystem /Applications/Xcode-26.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib -F /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug -F /Applications/Xcode-26.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/Library/Frameworks -no-color-diagnostics -Xcc -fno-color-diagnostics -enable-testing -g -debug-info-format=dwarf -dwarf-version=4 -module-cache-path /Users/admin/builder/spi-builder-workspace/.derivedData/ModuleCache.noindex -profile-generate -profile-coverage-mapping -swift-version 4 -Onone -D SWIFT_PACKAGE -D DEBUG -D SWIFT_MODULE_RESOURCE_BUNDLE_UNAVAILABLE -D Xcode -serialize-debugging-options -const-gather-protocols-file /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra_const_extract_protocols.json -enable-experimental-feature DebugDescriptionMacro -empty-abi-descriptor -plugin-path /Applications/Xcode-26.4.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins/testing -validate-clang-modules-once -clang-build-session-file /Users/admin/builder/spi-builder-workspace/.derivedData/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode -enable-anonymous-context-mangled-names -file-compilation-dir /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode -Xcc -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG -Xcc -ivfsstatcache -Xcc /Users/admin/builder/spi-builder-workspace/.derivedData/SDKStatCaches.noindex/macosx26.4-25E236-688ef53f1462e2c8f657fdc38a81448fdfce61f96a3a6fc38dcbb3b93e3bb2ee.sdkstatcache -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/swift-overrides.hmap -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug/include -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/DerivedSources-normal/arm64 -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/DerivedSources/arm64 -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/DerivedSources -Xcc -DSWIFT_PACKAGE -Xcc -DDEBUG=1 -no-auto-bridging-header-chaining -module-name SwiftyAlgebra -frontend-parseable-output -disable-clang-spi -target-sdk-version 26.4 -target-sdk-name macosx26.4 -external-plugin-path /Applications/Xcode-26.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib/swift/host/plugins#/Applications/Xcode-26.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode-26.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/local/lib/swift/host/plugins#/Applications/Xcode-26.4.0.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/bin/swift-plugin-server -in-process-plugin-server-path /Applications/Xcode-26.4.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/libSwiftInProcPluginServer.dylib -plugin-path /Applications/Xcode-26.4.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins -plugin-path /Applications/Xcode-26.4.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/local/lib/swift/host/plugins -emit-module-doc-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra.swiftdoc -emit-module-source-info-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra.swiftsourceinfo -emit-objc-header-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra-Swift.h -serialize-diagnostics-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra-primary-emit-module.dia -emit-dependencies-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra-primary-emit-module.d -o /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra.swiftmodule -emit-abi-descriptor-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra.abi.json
1.	Apple Swift version 6.3 (swiftlang-6.3.0.123.5 clang-2100.0.123.102)
2.	Compiling with effective version 4.1.50
3.	While evaluating request TypeCheckPrimaryFileRequest(source_file "/Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift")
4.	While type-checking '_LieAlgebraRepresentation' (at /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift:36:8)
5.	While evaluating request RequirementSignatureRequest(SwiftyAlgebra.(file)._LieAlgebraRepresentation@/Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift:36:17)
6.	Abort: function decomposeTermIntoConformanceRuleLeftHandSides at MinimalConformances.cpp:185
| 	Term does not conform to protocol: [_LieAlgebraRepresentation:VectorSpace].[Module]
| 	Rewrite system: {
| 	- [Representation].[Representation] => [Representation] [permanent]
| 	- [Representation].VectorSpace => [Representation:VectorSpace] [permanent]
| 	- [Representation].Domain => [Representation:Domain] [permanent]
| 	- [Representation].Codomain => [Representation:Codomain] [permanent]
| 	- [Representation].[Map] => [Representation] [explicit]
| 	- [Representation].[Copyable] => [Representation] [explicit]
| 	- [Representation].[Escapable] => [Representation] [explicit]
| 	- [Representation:VectorSpace].[Copyable] => [Representation:VectorSpace] [explicit]
| 	- [Representation:VectorSpace].[Escapable] => [Representation:VectorSpace] [explicit]
| 	- [Representation].[Representation:VectorSpace] => [Representation:VectorSpace]
| 	- [Representation].[Representation:Domain] => [Representation:Domain]
| 	- [Representation].[Representation:Codomain] => [Representation:Codomain]
| 	- [Representation].[Map:Domain] => [Representation:Domain]
| 	- [Representation].[Map:Codomain] => [Representation:Codomain]
| 	- [Representation].[SetType] => [Representation]
| 	- [Representation].[Hashable] => [Representation]
| 	- [Representation].[CustomStringConvertible] => [Representation]
| 	- [Representation].[Equatable] => [Representation]
| 	- [Representation:Domain].[SetType] => [Representation:Domain]
| 	- [Representation:Domain].[Copyable] => [Representation:Domain]
| 	- [Representation:Domain].[Escapable] => [Representation:Domain]
| 	- [Representation:Domain].[Hashable] => [Representation:Domain]
| 	- [Representation:Domain].[CustomStringConvertible] => [Representation:Domain]
| 	- [Representation:Domain].[Equatable] => [Representation:Domain]
| 	- [Representation:Codomain].[SetType] => [Representation:Codomain]
| 	- [Representation:Codomain].[Copyable] => [Representation:Codomain]
| 	- [Representation:Codomain].[Escapable] => [Representation:Codomain]
| 	- [Representation:Codomain].[Hashable] => [Representation:Codomain]
| 	- [Representation:Codomain].[CustomStringConvertible] => [Representation:Codomain]
| 	- [Representation:Codomain].[Equatable] => [Representation:Codomain]
| 	- [_LieAlgebraHom].[_LieAlgebraHom] => [_LieAlgebraHom] [permanent]
| 	- [_LieAlgebraHom].CoeffRing => [_LieAlgebraHom:CoeffRing] [permanent]
| 	- [_LieAlgebraHom].Domain => [_LieAlgebraHom:Domain] [permanent]
| 	- [_LieAlgebraHom].Codomain => [_LieAlgebraHom:Codomain] [permanent]
| 	- [_LieAlgebraHom].[_LinearMap] => [_LieAlgebraHom] [explicit]
| 	- [_LieAlgebraHom:Domain].[LieAlgebra] => [_LieAlgebraHom:Domain] [explicit]
| 	- [_LieAlgebraHom:Codomain].[LieAlgebra] => [_LieAlgebraHom:Codomain] [explicit]
| 	- [_LieAlgebraHom].[Copyable] => [_LieAlgebraHom] [explicit]
| 	- [_LieAlgebraHom].[Escapable] => [_LieAlgebraHom] [explicit]
| 	- [_LieAlgebraHom].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom].[_LieAlgebraHom:Domain] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom].[_LieAlgebraHom:Codomain] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom].[_LinearMap:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom].[_LinearMap:Domain] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom].[_LinearMap:Codomain] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom].[_ModuleHom] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[VectorSpace] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[_ModuleHom:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom].[_ModuleHom:Domain] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom].[_ModuleHom:Codomain] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom].[_AdditiveGroupHom] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[Module] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[_AdditiveGroupHom:Domain] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom].[_AdditiveGroupHom:Codomain] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom].[Map] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[AdditiveGroup] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[Map:Domain] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom].[Map:Codomain] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom].[SetType] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[Hashable] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[CustomStringConvertible] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[Equatable] => [_LieAlgebraHom]
| 	- [_LieAlgebraHom].[Module:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom].[VectorSpace:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:Domain].CoeffRing => [_LieAlgebraHom:Domain].[LieAlgebra:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LieAlgebraHom:Domain].[VectorSpace] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Domain].[Copyable] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Domain].[Escapable] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraHom:Domain].[LieAlgebra:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LieAlgebraHom:Domain].[Module] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Domain].[Module:CoeffRing] => [_LieAlgebraHom:Domain].[LieAlgebra:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LieAlgebraHom:Domain].[AdditiveGroup] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Domain].[SetType] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Domain].[Hashable] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Domain].[CustomStringConvertible] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Domain].[Equatable] => [_LieAlgebraHom:Domain]
| 	- [_LieAlgebraHom:Codomain].CoeffRing => [_LieAlgebraHom:Codomain].[LieAlgebra:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LieAlgebraHom:Codomain].[VectorSpace] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:Codomain].[Copyable] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:Codomain].[Escapable] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraHom:Codomain].[LieAlgebra:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LieAlgebraHom:Codomain].[Module] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:Codomain].[Module:CoeffRing] => [_LieAlgebraHom:Codomain].[LieAlgebra:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LieAlgebraHom:Codomain].[AdditiveGroup] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:Codomain].[SetType] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:Codomain].[Hashable] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:Codomain].[CustomStringConvertible] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:Codomain].[Equatable] => [_LieAlgebraHom:Codomain]
| 	- [_LieAlgebraHom:CoeffRing].[Ring] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[Copyable] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[Escapable] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[AdditiveGroup] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[Monoid] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[SetType] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[Hashable] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[CustomStringConvertible] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[Equatable] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[Field] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LieAlgebraHom:CoeffRing].[EuclideanRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LieAlgebraHom:CoeffRing].IntegerLiteralType => [_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LieAlgebraHom:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LieAlgebraHom:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:Domain].CoeffRing => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:Domain].[Module:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:Codomain].CoeffRing => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [_LieAlgebraHom:Codomain].[Module:CoeffRing] => [_LieAlgebraHom:CoeffRing]
| 	- [Copyable].[Copyable] => [Copyable] [permanent]
| 	- [Escapable].[Escapable] => [Escapable] [permanent]
| 	- [Map].[Map] => [Map] [permanent]
| 	- [Map].Domain => [Map:Domain] [permanent]
| 	- [Map].Codomain => [Map:Codomain] [permanent]
| 	- [Map].[SetType] => [Map] [explicit]
| 	- [Map:Domain].[SetType] => [Map:Domain] [explicit]
| 	- [Map:Codomain].[SetType] => [Map:Codomain] [explicit]
| 	- [Map].[Copyable] => [Map] [explicit]
| 	- [Map].[Escapable] => [Map] [explicit]
| 	- [Map:Domain].[Copyable] => [Map:Domain] [explicit]
| 	- [Map:Domain].[Escapable] => [Map:Domain] [explicit]
| 	- [Map:Codomain].[Copyable] => [Map:Codomain] [explicit]
| 	- [Map:Codomain].[Escapable] => [Map:Codomain] [explicit]
| 	- [Map].[Map:Domain] => [Map:Domain]
| 	- [Map].[Map:Codomain] => [Map:Codomain]
| 	- [Map].[Hashable] => [Map]
| 	- [Map].[CustomStringConvertible] => [Map]
| 	- [Map].[Equatable] => [Map]
| 	- [Map:Domain].[Hashable] => [Map:Domain]
| 	- [Map:Domain].[CustomStringConvertible] => [Map:Domain]
| 	- [Map:Domain].[Equatable] => [Map:Domain]
| 	- [Map:Codomain].[Hashable] => [Map:Codomain]
| 	- [Map:Codomain].[CustomStringConvertible] => [Map:Codomain]
| 	- [Map:Codomain].[Equatable] => [Map:Codomain]
| 	- [_LinearMap].[_LinearMap] => [_LinearMap] [permanent]
| 	- [_LinearMap].CoeffRing => [_LinearMap:CoeffRing] [permanent]
| 	- [_LinearMap].Domain => [_LinearMap:Domain] [permanent]
| 	- [_LinearMap].Codomain => [_LinearMap:Codomain] [permanent]
| 	- [_LinearMap].[_ModuleHom] => [_LinearMap] [explicit]
| 	- [_LinearMap].[VectorSpace] => [_LinearMap] [explicit]
| 	- [_LinearMap:Domain].[VectorSpace] => [_LinearMap:Domain] [explicit]
| 	- [_LinearMap:Codomain].[VectorSpace] => [_LinearMap:Codomain] [explicit]
| 	- [_LinearMap].[Copyable] => [_LinearMap] [explicit]
| 	- [_LinearMap].[Escapable] => [_LinearMap] [explicit]
| 	- [_LinearMap].[_LinearMap:CoeffRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap].[_LinearMap:Domain] => [_LinearMap:Domain]
| 	- [_LinearMap].[_LinearMap:Codomain] => [_LinearMap:Codomain]
| 	- [_LinearMap].[_ModuleHom:CoeffRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap].[_ModuleHom:Domain] => [_LinearMap:Domain]
| 	- [_LinearMap].[_ModuleHom:Codomain] => [_LinearMap:Codomain]
| 	- [_LinearMap].[_AdditiveGroupHom] => [_LinearMap]
| 	- [_LinearMap].[Module] => [_LinearMap]
| 	- [_LinearMap].[_AdditiveGroupHom:Domain] => [_LinearMap:Domain]
| 	- [_LinearMap].[_AdditiveGroupHom:Codomain] => [_LinearMap:Codomain]
| 	- [_LinearMap].[Map] => [_LinearMap]
| 	- [_LinearMap].[AdditiveGroup] => [_LinearMap]
| 	- [_LinearMap].[Map:Domain] => [_LinearMap:Domain]
| 	- [_LinearMap].[Map:Codomain] => [_LinearMap:Codomain]
| 	- [_LinearMap].[SetType] => [_LinearMap]
| 	- [_LinearMap].[Hashable] => [_LinearMap]
| 	- [_LinearMap].[CustomStringConvertible] => [_LinearMap]
| 	- [_LinearMap].[Equatable] => [_LinearMap]
| 	- [_LinearMap].[Module:CoeffRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap].[VectorSpace:CoeffRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:Domain].CoeffRing => [_LinearMap:Domain].[VectorSpace:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LinearMap:Domain].[Module] => [_LinearMap:Domain]
| 	- [_LinearMap:Domain].[Copyable] => [_LinearMap:Domain]
| 	- [_LinearMap:Domain].[Escapable] => [_LinearMap:Domain]
| 	- [_LinearMap:Domain].[Module:CoeffRing] => [_LinearMap:Domain].[VectorSpace:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LinearMap:Domain].[AdditiveGroup] => [_LinearMap:Domain]
| 	- [_LinearMap:Domain].[SetType] => [_LinearMap:Domain]
| 	- [_LinearMap:Domain].[Hashable] => [_LinearMap:Domain]
| 	- [_LinearMap:Domain].[CustomStringConvertible] => [_LinearMap:Domain]
| 	- [_LinearMap:Domain].[Equatable] => [_LinearMap:Domain]
| 	- [_LinearMap:Codomain].CoeffRing => [_LinearMap:Codomain].[VectorSpace:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LinearMap:Codomain].[Module] => [_LinearMap:Codomain]
| 	- [_LinearMap:Codomain].[Copyable] => [_LinearMap:Codomain]
| 	- [_LinearMap:Codomain].[Escapable] => [_LinearMap:Codomain]
| 	- [_LinearMap:Codomain].[Module:CoeffRing] => [_LinearMap:Codomain].[VectorSpace:CoeffRing] [lhs↓] [rhs↓]
| 	- [_LinearMap:Codomain].[AdditiveGroup] => [_LinearMap:Codomain]
| 	- [_LinearMap:Codomain].[SetType] => [_LinearMap:Codomain]
| 	- [_LinearMap:Codomain].[Hashable] => [_LinearMap:Codomain]
| 	- [_LinearMap:Codomain].[CustomStringConvertible] => [_LinearMap:Codomain]
| 	- [_LinearMap:Codomain].[Equatable] => [_LinearMap:Codomain]
| 	- [_LinearMap:CoeffRing].[Ring] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[Copyable] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[Escapable] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].IntegerLiteralType => [_LinearMap:CoeffRing].[Ring:IntegerLiteralType] [lhs↓] [rhs↓]
| 	- [_LinearMap:CoeffRing].[AdditiveGroup] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[Monoid] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[ExpressibleByIntegerLiteral] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[SetType] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[Hashable] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[CustomStringConvertible] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[Equatable] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LinearMap:CoeffRing].[Ring:IntegerLiteralType] [lhs↓] [rhs↓]
| 	- [_LinearMap:Domain].[VectorSpace:CoeffRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:Codomain].[VectorSpace:CoeffRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[Field] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[Ring:IntegerLiteralType] => [_LinearMap:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LinearMap:CoeffRing].[EuclideanRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LinearMap:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LinearMap:Domain].CoeffRing => [_LinearMap:CoeffRing]
| 	- [_LinearMap:Domain].[Module:CoeffRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:Codomain].CoeffRing => [_LinearMap:CoeffRing]
| 	- [_LinearMap:Codomain].[Module:CoeffRing] => [_LinearMap:CoeffRing]
| 	- [_LinearMap:CoeffRing].IntegerLiteralType => [_LinearMap:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LinearMap:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LinearMap:CoeffRing].[Field:IntegerLiteralType]
| 	- [LieAlgebra].[LieAlgebra] => [LieAlgebra] [permanent]
| 	- [LieAlgebra].CoeffRing => [LieAlgebra:CoeffRing] [permanent]
| 	- [LieAlgebra].[VectorSpace] => [LieAlgebra] [explicit]
| 	- [LieAlgebra].[Copyable] => [LieAlgebra] [explicit]
| 	- [LieAlgebra].[Escapable] => [LieAlgebra] [explicit]
| 	- [LieAlgebra].[LieAlgebra:CoeffRing] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra].[VectorSpace:CoeffRing] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra].[Module] => [LieAlgebra]
| 	- [LieAlgebra].[Module:CoeffRing] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra].[AdditiveGroup] => [LieAlgebra]
| 	- [LieAlgebra].[SetType] => [LieAlgebra]
| 	- [LieAlgebra].[Hashable] => [LieAlgebra]
| 	- [LieAlgebra].[CustomStringConvertible] => [LieAlgebra]
| 	- [LieAlgebra].[Equatable] => [LieAlgebra]
| 	- [LieAlgebra:CoeffRing].[Field] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].IntegerLiteralType => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]
| 	- [LieAlgebra:CoeffRing].[EuclideanRing] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[Copyable] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[Escapable] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[EuclideanRing:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]
| 	- [LieAlgebra:CoeffRing].[Ring] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[Ring:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]
| 	- [LieAlgebra:CoeffRing].[AdditiveGroup] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[Monoid] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[ExpressibleByIntegerLiteral] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[SetType] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[Hashable] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[CustomStringConvertible] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[Equatable] => [LieAlgebra:CoeffRing]
| 	- [LieAlgebra:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]
| 	- [SetType].[SetType] => [SetType] [permanent]
| 	- [SetType].[Hashable] => [SetType] [explicit]
| 	- [SetType].[CustomStringConvertible] => [SetType] [explicit]
| 	- [SetType].[Copyable] => [SetType] [explicit]
| 	- [SetType].[Escapable] => [SetType] [explicit]
| 	- [SetType].[Equatable] => [SetType]
| 	- [_ModuleHom].[_ModuleHom] => [_ModuleHom] [permanent]
| 	- [_ModuleHom].CoeffRing => [_ModuleHom:CoeffRing] [permanent]
| 	- [_ModuleHom].Domain => [_ModuleHom:Domain] [permanent]
| 	- [_ModuleHom].Codomain => [_ModuleHom:Codomain] [permanent]
| 	- [_ModuleHom].[_AdditiveGroupHom] => [_ModuleHom] [explicit]
| 	- [_ModuleHom].[Module] => [_ModuleHom] [explicit]
| 	- [_ModuleHom:Domain].[Module] => [_ModuleHom:Domain] [explicit]
| 	- [_ModuleHom:Codomain].[Module] => [_ModuleHom:Codomain] [explicit]
| 	- [_ModuleHom:Domain].CoeffRing => [_ModuleHom:CoeffRing] [explicit]
| 	- [_ModuleHom:Codomain].CoeffRing => [_ModuleHom:CoeffRing] [explicit]
| 	- [_ModuleHom].[Copyable] => [_ModuleHom] [explicit]
| 	- [_ModuleHom].[Escapable] => [_ModuleHom] [explicit]
| 	- [_ModuleHom].[_ModuleHom:CoeffRing] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom].[_ModuleHom:Domain] => [_ModuleHom:Domain]
| 	- [_ModuleHom].[_ModuleHom:Codomain] => [_ModuleHom:Codomain]
| 	- [_ModuleHom].[_AdditiveGroupHom:Domain] => [_ModuleHom:Domain]
| 	- [_ModuleHom].[_AdditiveGroupHom:Codomain] => [_ModuleHom:Codomain]
| 	- [_ModuleHom].[Map] => [_ModuleHom]
| 	- [_ModuleHom].[AdditiveGroup] => [_ModuleHom]
| 	- [_ModuleHom].[Map:Domain] => [_ModuleHom:Domain]
| 	- [_ModuleHom].[Map:Codomain] => [_ModuleHom:Codomain]
| 	- [_ModuleHom].[SetType] => [_ModuleHom]
| 	- [_ModuleHom].[Hashable] => [_ModuleHom]
| 	- [_ModuleHom].[CustomStringConvertible] => [_ModuleHom]
| 	- [_ModuleHom].[Equatable] => [_ModuleHom]
| 	- [_ModuleHom].[Module:CoeffRing] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:Domain].[Module:CoeffRing] => [_ModuleHom:CoeffRing] [explicit]
| 	- [_ModuleHom:Domain].[AdditiveGroup] => [_ModuleHom:Domain]
| 	- [_ModuleHom:Domain].[Copyable] => [_ModuleHom:Domain]
| 	- [_ModuleHom:Domain].[Escapable] => [_ModuleHom:Domain]
| 	- [_ModuleHom:Domain].[SetType] => [_ModuleHom:Domain]
| 	- [_ModuleHom:Domain].[Hashable] => [_ModuleHom:Domain]
| 	- [_ModuleHom:Domain].[CustomStringConvertible] => [_ModuleHom:Domain]
| 	- [_ModuleHom:Domain].[Equatable] => [_ModuleHom:Domain]
| 	- [_ModuleHom:Codomain].[Module:CoeffRing] => [_ModuleHom:CoeffRing] [explicit]
| 	- [_ModuleHom:Codomain].[AdditiveGroup] => [_ModuleHom:Codomain]
| 	- [_ModuleHom:Codomain].[Copyable] => [_ModuleHom:Codomain]
| 	- [_ModuleHom:Codomain].[Escapable] => [_ModuleHom:Codomain]
| 	- [_ModuleHom:Codomain].[SetType] => [_ModuleHom:Codomain]
| 	- [_ModuleHom:Codomain].[Hashable] => [_ModuleHom:Codomain]
| 	- [_ModuleHom:Codomain].[CustomStringConvertible] => [_ModuleHom:Codomain]
| 	- [_ModuleHom:Codomain].[Equatable] => [_ModuleHom:Codomain]
| 	- [_ModuleHom:CoeffRing].[Ring] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[Copyable] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[Escapable] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].IntegerLiteralType => [_ModuleHom:CoeffRing].[Ring:IntegerLiteralType]
| 	- [_ModuleHom:CoeffRing].[AdditiveGroup] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[Monoid] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[ExpressibleByIntegerLiteral] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[SetType] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[Hashable] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[CustomStringConvertible] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[Equatable] => [_ModuleHom:CoeffRing]
| 	- [_ModuleHom:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_ModuleHom:CoeffRing].[Ring:IntegerLiteralType]
| 	- [VectorSpace].[VectorSpace] => [VectorSpace] [permanent]
| 	- [VectorSpace].CoeffRing => [VectorSpace:CoeffRing] [permanent]
| 	- [VectorSpace].[Module] => [VectorSpace] [explicit]
| 	- [VectorSpace:CoeffRing].[Field] => [VectorSpace:CoeffRing] [explicit]
| 	- [VectorSpace].[Copyable] => [VectorSpace] [explicit]
| 	- [VectorSpace].[Escapable] => [VectorSpace] [explicit]
| 	- [VectorSpace].[VectorSpace:CoeffRing] => [VectorSpace:CoeffRing]
| 	- [VectorSpace].[Module:CoeffRing] => [VectorSpace:CoeffRing]
| 	- [VectorSpace].[AdditiveGroup] => [VectorSpace]
| 	- [VectorSpace].[SetType] => [VectorSpace]
| 	- [VectorSpace].[Hashable] => [VectorSpace]
| 	- [VectorSpace].[CustomStringConvertible] => [VectorSpace]
| 	- [VectorSpace].[Equatable] => [VectorSpace]
| 	- [VectorSpace:CoeffRing].IntegerLiteralType => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]
| 	- [VectorSpace:CoeffRing].[EuclideanRing] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[Copyable] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[Escapable] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[EuclideanRing:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]
| 	- [VectorSpace:CoeffRing].[Ring] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[Ring:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]
| 	- [VectorSpace:CoeffRing].[AdditiveGroup] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[Monoid] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[SetType] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[Hashable] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[CustomStringConvertible] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[Equatable] => [VectorSpace:CoeffRing]
| 	- [VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]
| 	- [Hashable].[Hashable] => [Hashable] [permanent]
| 	- [Hashable].[Equatable] => [Hashable] [explicit]
| 	- [Hashable].[Copyable] => [Hashable]
| 	- [Hashable].[Escapable] => [Hashable]
| 	- [CustomStringConvertible].[CustomStringConvertible] => [CustomStringConvertible] [permanent]
| 	- [CustomStringConvertible].[Copyable] => [CustomStringConvertible] [explicit]
| 	- [CustomStringConvertible].[Escapable] => [CustomStringConvertible] [explicit]
| 	- [_AdditiveGroupHom].[_AdditiveGroupHom] => [_AdditiveGroupHom] [permanent]
| 	- [_AdditiveGroupHom].Domain => [_AdditiveGroupHom:Domain] [permanent]
| 	- [_AdditiveGroupHom].Codomain => [_AdditiveGroupHom:Codomain] [permanent]
| 	- [_AdditiveGroupHom].[Map] => [_AdditiveGroupHom] [explicit]
| 	- [_AdditiveGroupHom].[AdditiveGroup] => [_AdditiveGroupHom] [explicit]
| 	- [_AdditiveGroupHom:Domain].[AdditiveGroup] => [_AdditiveGroupHom:Domain] [explicit]
| 	- [_AdditiveGroupHom:Codomain].[AdditiveGroup] => [_AdditiveGroupHom:Codomain] [explicit]
| 	- [_AdditiveGroupHom].[Copyable] => [_AdditiveGroupHom] [explicit]
| 	- [_AdditiveGroupHom].[Escapable] => [_AdditiveGroupHom] [explicit]
| 	- [_AdditiveGroupHom].[_AdditiveGroupHom:Domain] => [_AdditiveGroupHom:Domain]
| 	- [_AdditiveGroupHom].[_AdditiveGroupHom:Codomain] => [_AdditiveGroupHom:Codomain]
| 	- [_AdditiveGroupHom].[Map:Domain] => [_AdditiveGroupHom:Domain]
| 	- [_AdditiveGroupHom].[Map:Codomain] => [_AdditiveGroupHom:Codomain]
| 	- [_AdditiveGroupHom].[SetType] => [_AdditiveGroupHom]
| 	- [_AdditiveGroupHom].[Hashable] => [_AdditiveGroupHom]
| 	- [_AdditiveGroupHom].[CustomStringConvertible] => [_AdditiveGroupHom]
| 	- [_AdditiveGroupHom].[Equatable] => [_AdditiveGroupHom]
| 	- [_AdditiveGroupHom:Domain].[SetType] => [_AdditiveGroupHom:Domain]
| 	- [_AdditiveGroupHom:Domain].[Copyable] => [_AdditiveGroupHom:Domain]
| 	- [_AdditiveGroupHom:Domain].[Escapable] => [_AdditiveGroupHom:Domain]
| 	- [_AdditiveGroupHom:Domain].[Hashable] => [_AdditiveGroupHom:Domain]
| 	- [_AdditiveGroupHom:Domain].[CustomStringConvertible] => [_AdditiveGroupHom:Domain]
| 	- [_AdditiveGroupHom:Domain].[Equatable] => [_AdditiveGroupHom:Domain]
| 	- [_AdditiveGroupHom:Codomain].[SetType] => [_AdditiveGroupHom:Codomain]
| 	- [_AdditiveGroupHom:Codomain].[Copyable] => [_AdditiveGroupHom:Codomain]
| 	- [_AdditiveGroupHom:Codomain].[Escapable] => [_AdditiveGroupHom:Codomain]
| 	- [_AdditiveGroupHom:Codomain].[Hashable] => [_AdditiveGroupHom:Codomain]
| 	- [_AdditiveGroupHom:Codomain].[CustomStringConvertible] => [_AdditiveGroupHom:Codomain]
| 	- [_AdditiveGroupHom:Codomain].[Equatable] => [_AdditiveGroupHom:Codomain]
| 	- [Module].[Module] => [Module] [permanent]
| 	- [Module].CoeffRing => [Module:CoeffRing] [permanent]
| 	- [Module].[AdditiveGroup] => [Module] [explicit]
| 	- [Module:CoeffRing].[Ring] => [Module:CoeffRing] [explicit]
| 	- [Module].[Copyable] => [Module] [explicit]
| 	- [Module].[Escapable] => [Module] [explicit]
| 	- [Module:CoeffRing].[Copyable] => [Module:CoeffRing] [explicit]
| 	- [Module:CoeffRing].[Escapable] => [Module:CoeffRing] [explicit]
| 	- [Module].[Module:CoeffRing] => [Module:CoeffRing]
| 	- [Module].[SetType] => [Module]
| 	- [Module].[Hashable] => [Module]
| 	- [Module].[CustomStringConvertible] => [Module]
| 	- [Module].[Equatable] => [Module]
| 	- [Module:CoeffRing].IntegerLiteralType => [Module:CoeffRing].[Ring:IntegerLiteralType]
| 	- [Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]
| 	- [Module:CoeffRing].[Monoid] => [Module:CoeffRing]
| 	- [Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]
| 	- [Module:CoeffRing].[SetType] => [Module:CoeffRing]
| 	- [Module:CoeffRing].[Hashable] => [Module:CoeffRing]
| 	- [Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]
| 	- [Module:CoeffRing].[Equatable] => [Module:CoeffRing]
| 	- [Module:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Module:CoeffRing].[Ring:IntegerLiteralType]
| 	- [Field].[Field] => [Field] [permanent]
| 	- [Field].IntegerLiteralType => [Field:IntegerLiteralType] [permanent]
| 	- [Field].[EuclideanRing] => [Field] [explicit]
| 	- [Field].[Copyable] => [Field] [explicit]
| 	- [Field].[Escapable] => [Field] [explicit]
| 	- [Field].[Field:IntegerLiteralType] => [Field:IntegerLiteralType]
| 	- [Field].[EuclideanRing:IntegerLiteralType] => [Field:IntegerLiteralType]
| 	- [Field].[Ring] => [Field]
| 	- [Field].[Ring:IntegerLiteralType] => [Field:IntegerLiteralType]
| 	- [Field].[AdditiveGroup] => [Field]
| 	- [Field].[Monoid] => [Field]
| 	- [Field].[ExpressibleByIntegerLiteral] => [Field]
| 	- [Field].[SetType] => [Field]
| 	- [Field].[Hashable] => [Field]
| 	- [Field].[CustomStringConvertible] => [Field]
| 	- [Field].[Equatable] => [Field]
| 	- [Field].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Field:IntegerLiteralType]
| 	- [Field:IntegerLiteralType].[Copyable] => [Field:IntegerLiteralType]
| 	- [Field:IntegerLiteralType].[Escapable] => [Field:IntegerLiteralType]
| 	- [Field:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [Field:IntegerLiteralType]
| 	- [Equatable].[Equatable] => [Equatable] [permanent]
| 	- [Equatable].[Copyable] => [Equatable] [explicit]
| 	- [Equatable].[Escapable] => [Equatable] [explicit]
| 	- [AdditiveGroup].[AdditiveGroup] => [AdditiveGroup] [permanent]
| 	- [AdditiveGroup].[SetType] => [AdditiveGroup] [explicit]
| 	- [AdditiveGroup].[Copyable] => [AdditiveGroup] [explicit]
| 	- [AdditiveGroup].[Escapable] => [AdditiveGroup] [explicit]
| 	- [AdditiveGroup].[Hashable] => [AdditiveGroup]
| 	- [AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]
| 	- [AdditiveGroup].[Equatable] => [AdditiveGroup]
| 	- [Ring].[Ring] => [Ring] [permanent]
| 	- [Ring].IntegerLiteralType => [Ring:IntegerLiteralType] [permanent]
| 	- [Ring].[AdditiveGroup] => [Ring] [explicit]
| 	- [Ring].[Monoid] => [Ring] [explicit]
| 	- [Ring].[ExpressibleByIntegerLiteral] => [Ring] [explicit]
| 	- [Ring].[Copyable] => [Ring] [explicit]
| 	- [Ring].[Escapable] => [Ring] [explicit]
| 	- [Ring:IntegerLiteralType].[Copyable] => [Ring:IntegerLiteralType] [explicit]
| 	- [Ring:IntegerLiteralType].[Escapable] => [Ring:IntegerLiteralType] [explicit]
| 	- [Ring].[Ring:IntegerLiteralType] => [Ring:IntegerLiteralType]
| 	- [Ring].[SetType] => [Ring]
| 	- [Ring].[Hashable] => [Ring]
| 	- [Ring].[CustomStringConvertible] => [Ring]
| 	- [Ring].[Equatable] => [Ring]
| 	- [Ring].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Ring:IntegerLiteralType]
| 	- [Ring:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [Ring:IntegerLiteralType]
| 	- [EuclideanRing].[EuclideanRing] => [EuclideanRing] [permanent]
| 	- [EuclideanRing].IntegerLiteralType => [EuclideanRing:IntegerLiteralType] [permanent]
| 	- [EuclideanRing].[Ring] => [EuclideanRing] [explicit]
| 	- [EuclideanRing].[Copyable] => [EuclideanRing] [explicit]
| 	- [EuclideanRing].[Escapable] => [EuclideanRing] [explicit]
| 	- [EuclideanRing].[EuclideanRing:IntegerLiteralType] => [EuclideanRing:IntegerLiteralType]
| 	- [EuclideanRing].[Ring:IntegerLiteralType] => [EuclideanRing:IntegerLiteralType]
| 	- [EuclideanRing].[AdditiveGroup] => [EuclideanRing]
| 	- [EuclideanRing].[Monoid] => [EuclideanRing]
| 	- [EuclideanRing].[ExpressibleByIntegerLiteral] => [EuclideanRing]
| 	- [EuclideanRing].[SetType] => [EuclideanRing]
| 	- [EuclideanRing].[Hashable] => [EuclideanRing]
| 	- [EuclideanRing].[CustomStringConvertible] => [EuclideanRing]
| 	- [EuclideanRing].[Equatable] => [EuclideanRing]
| 	- [EuclideanRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [EuclideanRing:IntegerLiteralType]
| 	- [EuclideanRing:IntegerLiteralType].[Copyable] => [EuclideanRing:IntegerLiteralType]
| 	- [EuclideanRing:IntegerLiteralType].[Escapable] => [EuclideanRing:IntegerLiteralType]
| 	- [EuclideanRing:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [EuclideanRing:IntegerLiteralType]
| 	- [Monoid].[Monoid] => [Monoid] [permanent]
| 	- [Monoid].[SetType] => [Monoid] [explicit]
| 	- [Monoid].[Copyable] => [Monoid] [explicit]
| 	- [Monoid].[Escapable] => [Monoid] [explicit]
| 	- [Monoid].[Hashable] => [Monoid]
| 	- [Monoid].[CustomStringConvertible] => [Monoid]
| 	- [Monoid].[Equatable] => [Monoid]
| 	- [ExpressibleByIntegerLiteral].[ExpressibleByIntegerLiteral] => [ExpressibleByIntegerLiteral] [permanent]
| 	- [ExpressibleByIntegerLiteral].IntegerLiteralType => [ExpressibleByIntegerLiteral:IntegerLiteralType] [permanent]
| 	- [ExpressibleByIntegerLiteral].[Copyable] => [ExpressibleByIntegerLiteral] [explicit]
| 	- [ExpressibleByIntegerLiteral].[Escapable] => [ExpressibleByIntegerLiteral] [explicit]
| 	- [ExpressibleByIntegerLiteral:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [ExpressibleByIntegerLiteral:IntegerLiteralType] [explicit]
| 	- [ExpressibleByIntegerLiteral].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [ExpressibleByIntegerLiteral:IntegerLiteralType]
| 	- [ExpressibleByIntegerLiteral:IntegerLiteralType].[Copyable] => [ExpressibleByIntegerLiteral:IntegerLiteralType]
| 	- [ExpressibleByIntegerLiteral:IntegerLiteralType].[Escapable] => [ExpressibleByIntegerLiteral:IntegerLiteralType]
| 	- [_ExpressibleByBuiltinIntegerLiteral].[_ExpressibleByBuiltinIntegerLiteral] => [_ExpressibleByBuiltinIntegerLiteral] [permanent]
| 	- [_ExpressibleByBuiltinIntegerLiteral].[Copyable] => [_ExpressibleByBuiltinIntegerLiteral] [explicit]
| 	- [_ExpressibleByBuiltinIntegerLiteral].[Escapable] => [_ExpressibleByBuiltinIntegerLiteral] [explicit]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation] [permanent]
| 	- [_LieAlgebraRepresentation].CoeffRing => [_LieAlgebraRepresentation:CoeffRing] [permanent]
| 	- [_LieAlgebraRepresentation].Domain => [_LieAlgebraRepresentation:Domain] [permanent]
| 	- [_LieAlgebraRepresentation].Codomain => [_LieAlgebraRepresentation:Codomain] [permanent]
| 	- [_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace] [permanent]
| 	- [_LieAlgebraRepresentation].[Representation] => [_LieAlgebraRepresentation] [explicit]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation] [explicit]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] => [_LieAlgebraRepresentation:Codomain] [explicit] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation].[Copyable] => [_LieAlgebraRepresentation] [explicit]
| 	- [_LieAlgebraRepresentation].[Escapable] => [_LieAlgebraRepresentation] [explicit]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]
| 	- [_LieAlgebraRepresentation].[Representation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]
| 	- [_LieAlgebraRepresentation].[Representation:Domain] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation].[Representation:Codomain] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation].[Map] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[Hashable] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[CustomStringConvertible] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[Equatable] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation]
| 	- [_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain] [explicit]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain] [explicit] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:VectorSpace].[Copyable] => [_LieAlgebraRepresentation:VectorSpace]
| 	- [_LieAlgebraRepresentation:VectorSpace].[Escapable] => [_LieAlgebraRepresentation:VectorSpace]
| 	- [_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[Copyable] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[Escapable] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[Copyable] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[Escapable] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[Copyable] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[Escapable] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LieAlgebraRepresentation:CoeffRing].IntegerLiteralType => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] [redundant]
| 	- [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]
| 	- [_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain]
| 	- [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:Domain].CoeffRing => [_LieAlgebraRepresentation:CoeffRing] [redundant]
| 	- [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:Codomain].CoeffRing => [_LieAlgebraRepresentation:CoeffRing] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	- [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] => [_LieAlgebraRepresentation:Codomain] [subst↓] [redundant]
| 	}
| 	Relations: {
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module]
| 	- [_LieAlgebraRepresentation].VectorSpace.[Module:CoeffRing] =>> [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module].[Module:CoeffRing]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]
| 	- [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] =>> [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module].[Module:CoeffRing]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] =>> [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module].[Module:CoeffRing]
| 	- [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]
| 	}
| 	Type differences: {
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]
| 	- [_LieAlgebraRepresentation].VectorSpace (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : SetType]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Copyable]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Escapable]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Hashable]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Equatable]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	Base term: [_LieAlgebraRepresentation:Codomain]
| 	LHS: [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]
| 	RHS: [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]
| 	- [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] (#0) -> [_LieAlgebraRepresentation:VectorSpace]
|
| 	}
| 	Rewrite loops: {
| 	- (#0) [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]: [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation]).CoeffRing ⊗ ([_LieAlgebraRepresentation].CoeffRing => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing])
| 	- (#1) [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]: [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation]).Domain ⊗ ([_LieAlgebraRepresentation].Domain => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain])
| 	- (#2) [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]: [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation]).Codomain ⊗ ([_LieAlgebraRepresentation].Codomain => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain])
| 	- (#3) [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]: [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation]).VectorSpace ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace])
| 	- (#4) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Representation]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Representation] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Representation] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#5) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_LieAlgebraHom] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#6) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Copyable] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#7) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Escapable] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#8) [_LieAlgebraRepresentation].[Representation:VectorSpace]: [_LieAlgebraRepresentation].([Representation:VectorSpace] => [Representation].VectorSpace) ⊗ ([_LieAlgebraRepresentation].[Representation] => [_LieAlgebraRepresentation]).VectorSpace ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[Representation:VectorSpace])
| 	- (#9) [_LieAlgebraRepresentation].[Representation:Domain]: [_LieAlgebraRepresentation].([Representation:Domain] => [Representation].Domain) ⊗ ([_LieAlgebraRepresentation].[Representation] => [_LieAlgebraRepresentation]).Domain ⊗ ([_LieAlgebraRepresentation].Domain => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Representation:Domain])
| 	- (#10) [_LieAlgebraRepresentation].[Representation:Codomain]: [_LieAlgebraRepresentation].([Representation:Codomain] => [Representation].Codomain) ⊗ ([_LieAlgebraRepresentation].[Representation] => [_LieAlgebraRepresentation]).Codomain ⊗ ([_LieAlgebraRepresentation].Codomain => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Representation:Codomain])
EmitSwiftModule normal arm64 (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 Compiling\ PolynomialIdeal.swift,\ Polynominal.swift,\ PowerSeries.swift,\ SymmetricPolynomial.swift,\ AlgebraicStructure.swift,\ GroupStructure.swift,\ ModuleStructure.swift,\ SimpleModuleStructure.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PolynomialIdeal.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/Polynominal.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PowerSeries.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/SymmetricPolynomial.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/AlgebraicStructure.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/GroupStructure.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PolynomialIdeal.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/Polynominal.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PowerSeries.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/SymmetricPolynomial.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/AlgebraicStructure.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/GroupStructure.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 Compiling\ combinatorics.swift,\ IntegerFactorization.swift,\ PolynomialFactorization.swift,\ Array.swift,\ Dictionary.swift,\ Sequence.swift,\ FreeModule.swift,\ FreeModuleBase.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/combinatorics.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/IntegerFactorization.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/PolynomialFactorization.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Array.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Dictionary.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Sequence.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModule.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModuleBase.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/combinatorics.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/IntegerFactorization.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/PolynomialFactorization.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Array.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Dictionary.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Sequence.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModule.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModuleBase.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 Compiling\ AdditiveGroup.swift,\ EuclideanRing.swift,\ Field.swift,\ Group.swift,\ LieAlgebra.swift,\ Map.swift,\ Module.swift,\ Monoid.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Field.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Group.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Module.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Monoid.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Field.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Group.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Module.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Monoid.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 Compiling\ Matrix.swift,\ GeneralLinearGroup.swift,\ GeneralLinearLieAlgebra.swift,\ MatrixGroup.swift,\ MatrixLieAlgebra.swift,\ OrthogonalGroup.swift,\ OrthogonalLieAlgebra.swift,\ SymplecticGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Matrix.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticGroup.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Matrix.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearGroup.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearLieAlgebra.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixGroup.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixLieAlgebra.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalGroup.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalLieAlgebra.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticGroup.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 Compiling\ HomologyMap.swift,\ ComputationalMatrix.swift,\ DiagonalEliminator.swift,\ EchelonEliminator.swift,\ HermiteEliminator.swift,\ MatrixEliminationResult.swift,\ MatrixEliminator.swift,\ SmithEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyMap.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/ComputationalMatrix.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/DiagonalEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/EchelonEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/HermiteEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminationResult.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminator.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/SmithEliminator.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyMap.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/ComputationalMatrix.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/DiagonalEliminator.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/EchelonEliminator.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/HermiteEliminator.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminationResult.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminator.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/SmithEliminator.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 Compiling\ SymplecticLieAlgebra.swift,\ UnitaryGroup.swift,\ UnitaryLieAlgebra.swift,\ SquareMatrix.swift,\ Vector.swift,\ CustomOperators.swift,\ Randomable.swift,\ TypeParameters.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/SquareMatrix.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Vector.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/CustomOperators.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/Randomable.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/TypeParameters.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticLieAlgebra.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryGroup.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryLieAlgebra.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/SquareMatrix.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Vector.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/CustomOperators.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/Randomable.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/TypeParameters.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 Compiling\ Complex.swift,\ Integer.swift,\ Quaternion.swift,\ Rational.swift,\ Real.swift,\ Z_2.swift,\ MPolynomial.swift,\ MultiplicativeSequence.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Complex.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Integer.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Quaternion.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Rational.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Real.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Z_2.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MPolynomial.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MultiplicativeSequence.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Complex.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Integer.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Quaternion.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Rational.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Real.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Z_2.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MPolynomial.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MultiplicativeSequence.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode

SwiftCompile normal arm64 Compiling\ AlternatingGroup.swift,\ SymmetricGroup.swift,\ Cache.swift,\ Expression.swift,\ Ref.swift,\ debug.swift,\ optable.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/AlternatingGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/SymmetricGroup.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Cache.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Expression.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Ref.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/debug.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/optable.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
2026-04-14 00:49:30.756 xcodebuild[709:4231] [MT] IDERunDestination: Supported platforms for the buildables in the current scheme is empty.
--- xcodebuild: WARNING: Using the first of multiple matching destinations:
{ platform:macOS, arch:arm64, id:a9eb280cf008755356b4ab2b490caf90c55582f7, name:My Mac }
{ platform:macOS, arch:arm64, variant:Mac Catalyst, id:a9eb280cf008755356b4ab2b490caf90c55582f7, name:My Mac }
{ platform:macOS, arch:arm64, variant:DriverKit, id:a9eb280cf008755356b4ab2b490caf90c55582f7, name:My Mac }
{ platform:macOS, arch:arm64, variant:Designed for [iPad,iPhone], id:a9eb280cf008755356b4ab2b490caf90c55582f7, name:My Mac }
** BUILD FAILED **
The following build commands failed:
	SwiftCompile normal arm64 Compiling\ NormedSpace.swift,\ Representation.swift,\ Ring.swift,\ Set.swift,\ VectorSpace.swift,\ BernoulliNumbers.swift,\ IntList.swift,\ Permutation.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/NormedSpace.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/BernoulliNumbers.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/IntList.swift /Users/admin/builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/Permutation.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
	Building workspace spi-builder-workspace with scheme SwiftyAlgebra
(2 failures)
BUILD FAILURE 6.3 macosXcodebuild