Swift Package Index

Build Information

Failed to build SwiftyAlgebra, reference 0.1.0 (44c947), with Swift 6.4 for Android on 20 Sep 2026 03:59:16 UTC.

Build Command

bash -c docker run --pull=always --rm -v "checkouts-54344844-0":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:android-6.4-latest swift build --swift-sdk aarch64-unknown-linux-android28 2>&1

Build Log

| 	- (#592) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Monoid] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#593) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#594) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[SetType] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#595) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Hashable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#596) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[CustomStringConvertible] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#597) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Equatable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#598) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#599) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Ring] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#600) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Copyable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#601) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Escapable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#602) [_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:Domain].[Module:CoeffRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].IntegerLiteralType => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#603) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#604) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Monoid] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#605) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#606) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[SetType] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#607) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#608) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#609) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Equatable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#610) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#611) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).CoeffRing ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].CoeffRing => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#612) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[VectorSpace] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#613) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Copyable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#614) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Escapable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#615) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[VectorSpace:CoeffRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#616) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Module] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#617) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Module:CoeffRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#618) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[AdditiveGroup] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#619) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[SetType] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#620) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Hashable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#621) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[CustomStringConvertible] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#622) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Equatable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#623) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).CoeffRing ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].CoeffRing => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#624) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#625) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Copyable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#626) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Escapable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#627) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Module:CoeffRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#628) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#629) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#630) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#631) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#632) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#633) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).CoeffRing ⊗ [_LieAlgebraRepresentation:Codomain].([Module].CoeffRing => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#634) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#635) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Copyable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#636) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Escapable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#637) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#638) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#639) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#640) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#641) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#642) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#643) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#644) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#645) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#646) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#647) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Field] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#649) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[EuclideanRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#650) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Copyable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#651) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Escapable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#652) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[EuclideanRing:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#653) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Ring] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#654) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Ring:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#655) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[AdditiveGroup] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#656) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Monoid] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#657) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[ExpressibleByIntegerLiteral] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#658) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[SetType] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#659) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Hashable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#660) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[CustomStringConvertible] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#661) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Equatable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#662) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#663) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Field] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#665) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[EuclideanRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#666) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Copyable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#667) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Escapable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#668) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[EuclideanRing:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#669) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Ring] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#670) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Ring:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#671) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[AdditiveGroup] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#672) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Monoid] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#673) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#674) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[SetType] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#675) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Hashable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#676) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[CustomStringConvertible] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#677) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Equatable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#678) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#679) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Ring] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#680) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Copyable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#681) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Escapable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#682) [_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:Codomain].[Module:CoeffRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].IntegerLiteralType => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#683) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#684) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Monoid] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#685) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#686) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[SetType] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#687) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#688) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#689) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Equatable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#690) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#735) [_LieAlgebraRepresentation:VectorSpace]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]) ⊗ RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#736) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#737) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[SetType]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#738) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Copyable]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#739) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Escapable]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#740) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Hashable]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#741) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[CustomStringConvertible]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#742) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Equatable]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#743) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[LieAlgebra]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#744) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[VectorSpace]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#745) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Module]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Module] ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#746) [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace).[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation].VectorSpace.[Module:CoeffRing] =>> [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module].[Module:CoeffRing]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] => [_LieAlgebraRepresentation:Codomain]).[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing])
| 	- (#747) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[AdditiveGroup]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
| 	- (#748) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType])
| 	- (#749) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable])
| 	- (#750) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable])
| 	- (#751) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable])
| 	- (#752) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible])
| 	- (#753) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable])
| 	- (#754) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra])
| 	- (#755) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace])
| 	- (#756) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Module] ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module])
| 	- (#757) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] =>> [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] => [_LieAlgebraRepresentation:Codomain]).[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#758) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup])
| 	- (#768) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]).[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing] =>> [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module].[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module].[Module:CoeffRing] ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module].[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module].[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]> : Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module]).[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module].[Module:CoeffRing] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>].[Module].[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Module].[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[Module].[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]).[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#770) [_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])
| 	- (#772) [_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])
| 	- (#774) [_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])
| 	- (#776) [_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])
| 	- (#778) [_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])
| 	- (#780) [_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])
| 	- (#782) [_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])
| 	- (#784) [_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])
| 	- (#786) [_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])
| 	- (#788) [_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])
| 	- (#790) [_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])
| 	- (#791) [_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]
| 	- (#792) [_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])
| 	- (#793) [_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]
| 	- (#794) [_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])
| 	- (#795) [_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]
| 	- (#796) [_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])
| 	- (#797) [_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]
| 	- (#798) [_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])
| 	- (#799) [_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]
| 	- (#800) [_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])
| 	- (#801) [_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]
| 	- (#802) [_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])
| 	- (#803) [_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]
| 	- (#804) [_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])
| 	- (#805) [_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]
| 	- (#806) [_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])
| 	- (#807) [_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]
| 	- (#808) [_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])
| 	- (#809) [_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]
| 	- (#810) [_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])
| 	- (#811) [_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])
| 	- (#812) [_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])
| 	- (#813) [_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])
| 	- (#814) [_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])
| 	- (#815) [_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])
| 	- (#816) [_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])
| 	- (#817) [_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])
| 	- (#818) [_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])
| 	- (#819) [_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])
| 	- (#820) [_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])
| 	- (#821) [_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])
| 	- (#822) [_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])
| 	- (#823) [_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])
| 	- (#824) [_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])
| 	- (#825) [_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])
| 	- (#826) [_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])
| 	- (#827) [_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])
| 	- (#828) [_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])
| 	- (#829) [_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])
| 	- (#830) [_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])
| 	- (#831) [_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])
| 	- (#832) [_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])
| 	}
 #0 0x00005edd08c89d98 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x8bb1d98)
 #1 0x00005edd08c87585 llvm::sys::RunSignalHandlers() (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x8baf585)
 #2 0x00005edd08c8ab41 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x000071f75deb3520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x000071f75df079bc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969bc)
 #5 0x000071f75deb3476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x000071f75de997f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00005edd02dd32a2 (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2cfb2a2)
 #8 0x00005edd02dd338c (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2cfb38c)
 #9 0x00005edd02cf20a9 swift::rewriting::RewriteSystem::decomposeTermIntoConformanceRuleLeftHandSides(swift::rewriting::MutableTerm, llvm::SmallVectorImpl<unsigned int>&) const (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2c1a0a9)
#10 0x00005edd02cf21c0 swift::rewriting::RewriteSystem::decomposeTermIntoConformanceRuleLeftHandSides(swift::rewriting::MutableTerm, unsigned int, llvm::SmallVectorImpl<unsigned int>&) const (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2c1a1c0)
#11 0x00005edd02cf7edc swift::rewriting::RewriteSystem::computeCandidateConformancePaths(swift::rewriting::PropertyMap const&, llvm::MapVector<unsigned int, std::vector<llvm::SmallVector<unsigned int, 2u>, std::allocator<llvm::SmallVector<unsigned int, 2u>>>, llvm::DenseMap<unsigned int, unsigned int, llvm::DenseMapInfo<unsigned int, void>, llvm::detail::DenseMapPair<unsigned int, unsigned int>>, llvm::SmallVector<std::pair<unsigned int, std::vector<llvm::SmallVector<unsigned int, 2u>, std::allocator<llvm::SmallVector<unsigned int, 2u>>>>, 0u>>&) const::$_4::operator()(unsigned int) const MinimalConformances.cpp:0:0
#12 0x00005edd02cf821e void swift::rewriting::Trie<unsigned int, (swift::rewriting::MatchKind)0>::visitChildren<swift::rewriting::RewriteSystem::computeCandidateConformancePaths(swift::rewriting::PropertyMap const&, llvm::MapVector<unsigned int, std::vector<llvm::SmallVector<unsigned int, 2u>, std::allocator<llvm::SmallVector<unsigned int, 2u>>>, llvm::DenseMap<unsigned int, unsigned int, llvm::DenseMapInfo<unsigned int, void>, llvm::detail::DenseMapPair<unsigned int, unsigned int>>, llvm::SmallVector<std::pair<unsigned int, std::vector<llvm::SmallVector<unsigned int, 2u>, std::allocator<llvm::SmallVector<unsigned int, 2u>>>>, 0u>>&) const::$_4>(swift::rewriting::Trie<unsigned int, (swift::rewriting::MatchKind)0>::Node const*, swift::rewriting::RewriteSystem::computeCandidateConformancePaths(swift::rewriting::PropertyMap const&, llvm::MapVector<unsigned int, std::vector<llvm::SmallVector<unsigned int, 2u>, std::allocator<llvm::SmallVector<unsigned int, 2u>>>, llvm::DenseMap<unsigned int, unsigned int, llvm::DenseMapInfo<unsigned int, void>, llvm::detail::DenseMapPair<unsigned int, unsigned int>>, llvm::SmallVector<std::pair<unsigned int, std::vector<llvm::SmallVector<unsigned int, 2u>, std::allocator<llvm::SmallVector<unsigned int, 2u>>>>, 0u>>&) const::$_4) const MinimalConformances.cpp:0:0
#13 0x00005edd02cf2ca6 swift::rewriting::RewriteSystem::computeCandidateConformancePaths(swift::rewriting::PropertyMap const&, llvm::MapVector<unsigned int, std::vector<llvm::SmallVector<unsigned int, 2u>, std::allocator<llvm::SmallVector<unsigned int, 2u>>>, llvm::DenseMap<unsigned int, unsigned int, llvm::DenseMapInfo<unsigned int, void>, llvm::detail::DenseMapPair<unsigned int, unsigned int>>, llvm::SmallVector<std::pair<unsigned int, std::vector<llvm::SmallVector<unsigned int, 2u>, std::allocator<llvm::SmallVector<unsigned int, 2u>>>>, 0u>>&) const (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2c1aca6)
#14 0x00005edd02cf37c0 swift::rewriting::RewriteSystem::computeMinimalConformances(swift::rewriting::PropertyMap const&, llvm::DenseSet<unsigned int, llvm::DenseMapInfo<unsigned int, void>>&) const (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2c1b7c0)
#15 0x00005edd02cecc2e swift::rewriting::RewriteSystem::minimizeRewriteSystem(swift::rewriting::PropertyMap const&) (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2c14c2e)
#16 0x00005edd02c085cd swift::rewriting::RequirementMachine::computeMinimalProtocolRequirements() (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2b305cd)
#17 0x00005edd02c09542 swift::RequirementSignatureRequest::evaluate(swift::Evaluator&, swift::ProtocolDecl*) const (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x2b31542)
#18 0x00005edd0236005c swift::SimpleRequest<swift::RequirementSignatureRequest, swift::RequirementSignature (swift::ProtocolDecl*), (swift::RequestFlags)4>::evaluateRequest(swift::RequirementSignatureRequest const&, swift::Evaluator&) crtstuff.c:0:0
#19 0x00005edd0297da54 swift::ProtocolDecl::getRequirementSignature() const (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x28a5a54)
#20 0x00005edd022acd63 (anonymous namespace)::DeclChecker::visit(swift::Decl*) TypeCheckDeclPrimary.cpp:0:0
#21 0x00005edd022aca64 swift::TypeChecker::typeCheckDecl(swift::Decl*) (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x21d4a64)
#22 0x00005edd023e5565 swift::TypeCheckPrimaryFileRequest::evaluate(swift::Evaluator&, swift::SourceFile*) const (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x230d565)
#23 0x00005edd023e9f0b swift::TypeCheckPrimaryFileRequest::OutputType swift::Evaluator::getResultUncached<swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType)::'lambda'()>(swift::TypeCheckPrimaryFileRequest const&, swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType)::'lambda'()) crtstuff.c:0:0
#24 0x00005edd023e5498 swift::performTypeChecking(swift::SourceFile&) (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x230d498)
#25 0x00005edd00ea85f9 bool llvm::function_ref<bool (swift::SourceFile&)>::callback_fn<swift::CompilerInstance::performSema()::$_10>(long, swift::SourceFile&) Frontend.cpp:0:0
#26 0x00005edd00e9e69a swift::CompilerInstance::forEachFileToTypeCheck(llvm::function_ref<bool (swift::SourceFile&)>) (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0xdc669a)
#27 0x00005edd00e9e47b swift::CompilerInstance::performSema() (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0xdc647b)
#28 0x00005edd00b06f72 withSemanticAnalysis(swift::CompilerInstance&, swift::FrontendObserver*, llvm::function_ref<bool (swift::CompilerInstance&)>, bool) FrontendTool.cpp:0:0
#29 0x00005edd00af4aa9 performCompile(swift::CompilerInstance&, int&, swift::FrontendObserver*, llvm::ArrayRef<char const*>) FrontendTool.cpp:0:0
#30 0x00005edd00af16ee swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0xa196ee)
#31 0x00005edd00809ba8 swift::mainEntry(int, char const**) (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x731ba8)
#32 0x000071f75de9ad90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#33 0x000071f75de9ae40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#34 0x00005edd00808a65 _start (/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend+0x730a65)
*** Signal 6: Backtracing from 0x71f75df8f9dd... done ***
*** Program crashed: Aborted at 0x000071f75df8f9dd ***
Platform: x86_64 Linux (Ubuntu 22.04.5 LTS)
Thread 0 "swift-frontend" crashed:
0  0x000071f75df8f9dd <unknown> in libc.so.6
Registers:
rax 0x0000000000000000  0
rdx 0x0000000000000006  6
rcx 0x000071f75df8f9dd  48 3d 01 f0 ff ff 73 01 c3 48 8b 0d 23 b4 0f 00  H=·ðÿÿs·ÃH··#´··
rbx 0x0000000000000006  6
rsi 0x0000000000000082  130
rdi 0x0000000000000082  130
rbp 0x0000000000000082  130
rsp 0x00005edd2b16d128  6b ab c8 08 dd 5e 00 00 b0 d3 16 2b dd 5e 00 00  k«È·Ý^··°Ó·+Ý^··
 r8 0x00005edd2b16d3b0  06 00 00 00 00 00 00 00 fa ff ff ff 00 00 00 00  ········úÿÿÿ····
 r9 0x00005edd2b16d3b0  06 00 00 00 00 00 00 00 fa ff ff ff 00 00 00 00  ········úÿÿÿ····
r10 0x00005edd2b16d3b0  06 00 00 00 00 00 00 00 fa ff ff ff 00 00 00 00  ········úÿÿÿ····
r11 0x0000000000000246  582
r12 0x0000000000000000  0
r13 0x0000000000000000  0
r14 0x0000000000000000  0
r15 0x00005edd2b16d138  00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00  ················
rip 0x000071f75df8f9dd  48 3d 01 f0 ff ff 73 01 c3 48 8b 0d 23 b4 0f 00  H=·ðÿÿs·ÃH··#´··
rflags 0x0000000000000246  ZF PF
cs 0x0033  fs 0x0000  gs 0x0000
Images (27 omitted):
0x000071f75de71000–0x000071f75e02d401 6a6cb5a80fd5e5bb5bf3aeaa111add98e88843a5 libc.so.6 /usr/lib/x86_64-linux-gnu/libc.so.6
Backtrace took 0.00s
Failed frontend command:
/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-frontend -frontend -c -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Field.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Group.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Module.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Monoid.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/NormedSpace.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/BernoulliNumbers.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/IntList.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/Permutation.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/combinatorics.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/IntegerFactorization.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/PolynomialFactorization.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Array.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Dictionary.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Sequence.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModule.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModuleBase.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModuleHom.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainComplex.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainComplexOperations.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainMap.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ExactSequence.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/Homology.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyClass.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyExactSequence.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyMap.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/ComputationalMatrix.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/DiagonalEliminator.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/EchelonEliminator.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/HermiteEliminator.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminationResult.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminator.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/SmithEliminator.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Matrix.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearLieAlgebra.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixLieAlgebra.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalLieAlgebra.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticLieAlgebra.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryLieAlgebra.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/SquareMatrix.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Vector.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/CustomOperators.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/Randomable.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/TypeParameters.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Complex.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Integer.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Quaternion.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Rational.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Real.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Z_2.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MPolynomial.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MultiplicativeSequence.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PolynomialIdeal.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/Polynominal.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PowerSeries.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/SymmetricPolynomial.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/AlgebraicStructure.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/GroupStructure.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/AlternatingGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/SymmetricGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Cache.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Expression.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Ref.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Util/debug.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Util/optable.swift -supplementary-output-file-map /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/supplementaryOutputs-1 -target aarch64-unknown-linux-android28 -Xllvm -aarch64-use-tbi -disable-objc-interop -sdk /android-ndk/android-ndk-r27d/toolchains/llvm/prebuilt/linux-x86_64/sysroot -sysroot /android-ndk/android-ndk-r27d/toolchains/llvm/prebuilt/linux-x86_64/sysroot -I /host/spi-builder-workspace/.build/out/Products/Debug-android-aarch64 -module-cache-path /host/spi-builder-workspace/.build/out/ModuleCache.noindex -color-diagnostics -Xcc -fcolor-diagnostics -enable-testing -g -debug-info-format\=dwarf -dwarf-version\=4 -swift-version 4 -Onone -D SWIFT_PACKAGE -D DEBUG -D SWIFT_MODULE_RESOURCE_BUNDLE_UNAVAILABLE -D Xcode -serialize-debugging-options -enable-experimental-feature DebugDescriptionMacro -empty-abi-descriptor -external-plugin-path /root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/lib/swift/host/plugins/testing\#/root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/bin/swift-plugin-server -validate-clang-modules-once -clang-build-session-file /host/spi-builder-workspace/.build/out/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /host -resource-dir /root/.swiftpm/swift-sdks/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_android.artifactbundle/swift-android/swift-resources/usr/lib/swift-aarch64 -enable-anonymous-context-mangled-names -file-compilation-dir /host -Xcc -resource-dir -Xcc /android-ndk/android-ndk-r27d/toolchains/llvm/prebuilt/linux-x86_64/lib/clang/18 -Xcc -fno-omit-frame-pointer -Xcc -D_LIBCPP_HARDENING_MODE\=_LIBCPP_HARDENING_MODE_DEBUG -Xcc -fmodules-prune-interval\=86400 -Xcc -fmodules-prune-after\=345600 -Xcc -I/host/spi-builder-workspace/.build/out/Products/Debug-android-aarch64/include -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/DerivedSources-normal/aarch64 -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/DerivedSources/aarch64 -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/DerivedSources -Xcc -DSWIFT_PACKAGE -Xcc -DDEBUG\=1 -no-auto-bridging-header-chaining -module-name SwiftyAlgebra -const-gather-protocols-file /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/SwiftyAlgebra_const_extract_protocols.json -in-process-plugin-server-path /root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/lib/swift/host/libSwiftInProcPluginServer.so -plugin-path /root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/lib/swift/host/plugins -plugin-path /root/.local/share/swiftly/toolchains/6.4.x-snapshot-2026-09-04/usr/local/lib/swift/host/plugins -parse-as-library -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/AdditiveGroup.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/EuclideanRing.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Field.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Group.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/LieAlgebra.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Map.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Module.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Monoid.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/NormedSpace.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Representation.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/AdditiveGroup.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/EuclideanRing.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Field.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Group.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/LieAlgebra.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Map.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Module.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Monoid.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/NormedSpace.o -index-unit-output-path /SwiftyAlgebra.build/Debug-android-aarch64/SwiftyAlgebra-t.build/Objects-normal/aarch64/Representation.o -index-store-path /host/spi-builder-workspace/.build/out -index-system-modules
error: Build failed
BUILD FAILURE 6.4 android