Swift Package Index

Build Information

Failed to build SwiftyAlgebra with Swift 5.7 for Linux.

Build Command

bash -c docker run --rm -v "checkouts-4609320-0":/host -w "$PWD/checkout" registry.gitlab.com/finestructure/spi-images:basic-5.7-latest swift build 2>&1

Build Log

- (#445) [_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])
- (#446) [_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])
- (#447) [_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])
- (#448) [_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])
- (#449) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[VectorSpace] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#450) [_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])
- (#451) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Module] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#452) [_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])
- (#453) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[AdditiveGroup] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#454) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[SetType] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#455) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Hashable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#456) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[CustomStringConvertible] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#457) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Equatable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#458) [_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])
- (#459) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#460) [_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])
- (#461) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#462) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#463) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#464) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#465) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#466) [_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])
- (#467) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#468) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#469) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#470) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#471) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#472) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#473) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#474) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#475) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#476) [_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])
- (#478) [_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])
- (#479) [_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]
- (#480) [_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])
- (#481) [_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]
- (#482) [_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])
- (#483) [_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])
- (#484) [_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])
- (#485) [_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])
- (#486) [_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])
- (#487) [_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])
- (#488) [_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])
- (#489) [_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]
- (#490) [_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])
- (#492) [_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])
- (#493) [_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]
- (#494) [_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])
- (#495) [_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]
- (#496) [_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])
- (#497) [_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])
- (#498) [_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])
- (#499) [_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])
- (#500) [_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])
- (#501) [_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])
- (#502) [_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])
- (#503) [_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]
- (#504) [_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])
- (#505) [_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])
- (#506) [_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])
- (#507) [_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])
- (#508) [_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])
- (#509) [_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])
- (#510) [_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])
- (#511) [_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])
- (#512) [_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])
- (#513) [_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])
- (#514) [_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:CoeffRing].[Ring]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].IntegerLiteralType => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#515) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[AdditiveGroup] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#516) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Monoid] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#517) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[ExpressibleByIntegerLiteral] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#518) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[SetType] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#519) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Hashable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#520) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[CustomStringConvertible] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#521) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Equatable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#522) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#523) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#524) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#525) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#526) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#527) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[SetType] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#528) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Hashable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#529) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[CustomStringConvertible] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#530) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Equatable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#531) [_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:CoeffRing].[ExpressibleByIntegerLiteral]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].IntegerLiteralType => [ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#532) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
- (#533) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
- (#534) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
- (#535) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
- (#537) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[EuclideanRing] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#538) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[EuclideanRing:IntegerLiteralType] => [Field:IntegerLiteralType])
- (#539) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Ring] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Ring] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#540) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Ring:IntegerLiteralType] => [Field:IntegerLiteralType])
- (#541) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[AdditiveGroup] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#542) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Monoid] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#543) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[ExpressibleByIntegerLiteral] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#544) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[SetType] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#545) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Hashable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#546) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[CustomStringConvertible] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#547) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Equatable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#548) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Field:IntegerLiteralType])
- (#549) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]).[_ExpressibleByBuiltinIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#550) [_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:CoeffRing].[EuclideanRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].IntegerLiteralType => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#551) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Ring] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Ring] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#552) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Ring:IntegerLiteralType] => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#553) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[AdditiveGroup] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#554) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Monoid] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#555) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[ExpressibleByIntegerLiteral] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#556) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[SetType] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#557) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Hashable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#558) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[CustomStringConvertible] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#559) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Equatable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#560) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#561) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]).[_ExpressibleByBuiltinIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#562) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]).[_ExpressibleByBuiltinIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#599) [_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])
- (#600) [_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)
- (#601) [_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)
- (#602) [_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)
- (#603) [_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)
- (#604) [_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)
- (#605) [_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)
- (#606) [_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)
- (#607) [_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)
- (#608) [_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])
- (#609) [_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)
- (#610) [_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])
- (#611) [_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])
- (#612) [_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])
- (#613) [_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])
- (#614) [_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])
- (#615) [_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])
- (#616) [_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])
- (#617) [_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])
- (#618) [_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])
- (#626) [_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])
- (#628) [_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])
- (#630) [_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])
- (#632) [_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])
- (#634) [_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])
- (#636) [_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])
- (#638) [_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])
- (#640) [_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])
- (#642) [_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])
- (#644) [_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])
- (#645) [_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]
- (#646) [_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])
- (#647) [_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]
- (#648) [_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])
- (#649) [_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]
- (#650) [_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])
- (#651) [_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]
- (#652) [_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])
- (#653) [_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]
- (#654) [_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])
- (#655) [_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]
- (#656) [_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])
- (#657) [_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]
- (#658) [_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])
- (#659) [_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]
- (#660) [_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])
- (#661) [_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])
- (#662) [_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])
- (#663) [_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])
- (#664) [_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])
- (#665) [_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])
- (#666) [_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])
- (#667) [_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])
- (#668) [_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])
- (#669) [_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])
- (#670) [_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])
- (#671) [_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])
- (#672) [_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])
- (#673) [_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])
- (#674) [_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])
- (#675) [_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])
- (#676) [_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])
- (#677) [_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])
- (#678) [_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])
Written requirements: {
 - ID: 0 - conforms_to: Self Representation at /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift:36:44
 - ID: 1 - conforms_to: Self _LieAlgebraHom at /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift:36:60
 - ID: 2 - same_type: Self.Codomain LinearEnd<Self.VectorSpace> at /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift:36:90
}
Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the project and the crash backtrace.
Stack dump:
0.	Program arguments: /usr/bin/swift-frontend -frontend -emit-module -experimental-skip-non-inlinable-function-bodies-without-types /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Field.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Group.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Module.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Monoid.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/NormedSpace.swift /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 -target x86_64-unknown-linux-gnu -disable-objc-interop -I /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug -enable-testing -g -module-cache-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/ModuleCache -swift-version 4 -Onone -D SWIFT_PACKAGE -D DEBUG -new-driver-path /usr/bin/swift-driver -empty-abi-descriptor -resource-dir /usr/lib/swift -enable-anonymous-context-mangled-names -module-name SwiftyAlgebra -emit-module-doc-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.swiftdoc -emit-module-source-info-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.swiftsourceinfo -emit-dependencies-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/SwiftyAlgebra.emit-module.d -parse-as-library -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.swiftmodule
1.	Swift version 5.7.3 (swift-5.7.3-RELEASE)
2.	Compiling with effective version 4.1.50
3.	While evaluating request TypeCheckSourceFileRequest(source_file "/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift")
4.	While type-checking '_LieAlgebraRepresentation' (at /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift:36:8)
5.	While evaluating request RequirementSignatureRequest(SwiftyAlgebra.(file)._LieAlgebraRepresentation@/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift:36:17)
6.	While evaluating request RequirementSignatureRequestRQM(SwiftyAlgebra.(file)._LieAlgebraRepresentation@/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift:36:17)
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
/usr/bin/swift-frontend(+0x551a103)[0x56433ee64103]
/usr/bin/swift-frontend(+0x551802e)[0x56433ee6202e]
/usr/bin/swift-frontend(+0x551a48a)[0x56433ee6448a]
/lib/x86_64-linux-gnu/libc.so.6(+0x42520)[0x7fd1da85a520]
/lib/x86_64-linux-gnu/libc.so.6(pthread_kill+0x12c)[0x7fd1da8ae9fc]
/lib/x86_64-linux-gnu/libc.so.6(raise+0x16)[0x7fd1da85a476]
/lib/x86_64-linux-gnu/libc.so.6(abort+0xd3)[0x7fd1da8407f3]
/usr/bin/swift-frontend(+0x1d434b8)[0x56433b68d4b8]
/usr/bin/swift-frontend(+0x1d437c6)[0x56433b68d7c6]
/usr/bin/swift-frontend(+0x1d41914)[0x56433b68b914]
/usr/bin/swift-frontend(+0x1d3c002)[0x56433b686002]
/usr/bin/swift-frontend(+0x1ccb6cc)[0x56433b6156cc]
/usr/bin/swift-frontend(+0x1ccc6e2)[0x56433b6166e2]
/usr/bin/swift-frontend(+0x16a958c)[0x56433aff358c]
/usr/bin/swift-frontend(+0x1c327e1)[0x56433b57c7e1]
/usr/bin/swift-frontend(+0x1c32567)[0x56433b57c567]
/usr/bin/swift-frontend(+0x1c21266)[0x56433b56b266]
/usr/bin/swift-frontend(+0x16a95cc)[0x56433aff35cc]
/usr/bin/swift-frontend(+0x1b7b778)[0x56433b4c5778]
/usr/bin/swift-frontend(+0x1b7b5b9)[0x56433b4c55b9]
/usr/bin/swift-frontend(+0x1b19424)[0x56433b463424]
/usr/bin/swift-frontend(+0x1632f23)[0x56433af7cf23]
/usr/bin/swift-frontend(+0x162b874)[0x56433af75874]
/usr/bin/swift-frontend(+0x162b677)[0x56433af75677]
/usr/bin/swift-frontend(+0x16e02f7)[0x56433b02a2f7]
/usr/bin/swift-frontend(+0x16e1dc4)[0x56433b02bdc4]
/usr/bin/swift-frontend(+0x16e1c42)[0x56433b02bc42]
/usr/bin/swift-frontend(+0x16e01e9)[0x56433b02a1e9]
/usr/bin/swift-frontend(+0xa9a569)[0x56433a3e4569]
/usr/bin/swift-frontend(+0xa8fc91)[0x56433a3d9c91]
/usr/bin/swift-frontend(+0xa8fb38)[0x56433a3d9b38]
/usr/bin/swift-frontend(+0xa433bd)[0x56433a38d3bd]
/usr/bin/swift-frontend(+0xa4273d)[0x56433a38c73d]
/usr/bin/swift-frontend(+0x914a39)[0x56433a25ea39]
/lib/x86_64-linux-gnu/libc.so.6(+0x29d90)[0x7fd1da841d90]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x80)[0x7fd1da841e40]
/usr/bin/swift-frontend(+0x914295)[0x56433a25e295]
[0/1] Planning build
Building for debugging...
error: compile command failed due to signal 11 (use -v to see invocation)/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:14:5: warning: 'public' modifier is redundant for initializer declared in a public extension
    public init(integerLiteral n: Int) {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:18:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var isInvertible: Bool {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:22:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var normalizeUnit: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:26:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var zero: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:30:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var identity: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:34:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func **(a: Self, n: Int) -> Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:38:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var isField: Bool {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:46:5: warning: 'public' modifier is redundant for initializer declared in a public extension
    public init(from n: 𝐙) {
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:50:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var inverse: Self? {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:54:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var zero: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:58:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var identity: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:72:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func * (a: Self, b: Self) -> Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:76:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func * (r: Super, a: Self) -> Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:80:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func * (a: Self, r: Super) -> Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:88:5: warning: 'public' modifier is redundant for initializer declared in a public extension
    public init(from a: 𝐙) {
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:92:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var inverse: Self? {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:96:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var zero: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:99:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var identity: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:103:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func * (a: Self, b: Self) -> Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:74:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'ProductRing' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:124:5: warning: 'public' modifier is redundant for initializer declared in a public extension
    public init(from n: 𝐙) {
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:128:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var inverse: Self? {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:132:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var zero: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:136:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var identity: Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:140:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func * (a: Self, b: Self) -> Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:144:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var hashValue: Int {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift:144:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'QuotientRing' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift:16:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'RingHom' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:17:5: warning: 'public' modifier is redundant for instance method declared in a public extension
    public func asSubset<S: SubsetType>(of: S.Type) -> S where S.Super == Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:22:5: warning: 'public' modifier is redundant for instance method declared in a public extension
    public func asQuotient<Q: QuotientSetType>(in: Q.Type) -> Q where Q.Base == Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:26:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var detailDescription: String {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:30:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var symbol: String {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:48:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func == (a: Self, b: Self) -> Bool {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:52:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var hashValue: Int {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:56:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var description: String {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:70:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func == (a: Self, b: Self) -> Bool {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:74:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var hashValue: Int {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:78:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var description: String {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:82:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var symbol: String {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:74:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'ProductSet' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:109:5: warning: 'public' modifier is redundant for operator function declared in a public extension
    public static func == (a: Self, b: Self) -> Bool {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:113:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var description: String {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:117:5: warning: 'public' modifier is redundant for static property declared in a public extension
    public static var symbol: String {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift:74:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'ProductVectorSpace' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:80:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'AsVectorSpace' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:92:5: warning: 'public' modifier is redundant for initializer declared in a public extension
    public init(matrix: DynamicMatrix<CoeffRing>) {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:100:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var asMatrix: DynamicMatrix<CoeffRing> {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:108:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var trace: CoeffRing {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:112:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var determinant: CoeffRing {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift:16:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'LinearMap' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:141:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var asMatrix: Matrix<Dynamic, Dynamic, CoeffRing> {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:149:5: warning: 'public' modifier is redundant for instance method declared in a public extension
    public func bracket(_ g: Self) -> Self {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift:16:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'LinearEnd' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift:16:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'LinearAut' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:193:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var inverse: LinearAut<V> {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:198:64: error: type 'Self.Left' does not conform to protocol 'VectorSpace'
public protocol _BilinearMap: Map, VectorSpace where Domain == ProductVectorSpace<Left, Right>, Domain.CoeffRing == Codomain.CoeffRing {
                                                               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:198:126: error: 'CoeffRing' is not a member type of type 'Self.Codomain'
public protocol _BilinearMap: Map, VectorSpace where Domain == ProductVectorSpace<Left, Right>, Domain.CoeffRing == Codomain.CoeffRing {
                                                                                                                    ~~~~~~~~ ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:206:5: warning: 'public' modifier is redundant for initializer declared in a public extension
    public init(_ f: @escaping (Left, Right) -> Codomain) {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:210:5: warning: 'public' modifier is redundant for subscript declared in a public extension
    public subscript(x: Left, y: Right) -> Codomain {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift:16:16: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'BilinearMap' to 'Hashable' by implementing 'hash(into:)' instead
    public var hashValue: Int {
               ^
/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:256:5: warning: 'public' modifier is redundant for initializer declared in a public extension
    public init(_ f: @escaping (Left, Right) -> R) {
    ^~~~~~~

/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:262:5: warning: 'public' modifier is redundant for property declared in a public extension
    public var asMatrix: DynamicMatrix<R> {
    ^~~~~~~

Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the project and the crash backtrace.
Stack dump:
0.	Program arguments: /usr/bin/swift-frontend -frontend -c /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Field.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Group.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Module.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Monoid.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/NormedSpace.swift /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/BernoulliNumbers.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/IntList.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/Permutation.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/combinatorics.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/IntegerFactorization.swift -primary-file /host/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/PolynomialFactorization.swift -primary-file /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 /tmp/TemporaryDirectory.KOWmiM/supplementaryOutputs-2 -target x86_64-unknown-linux-gnu -disable-objc-interop -I /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug -enable-testing -g -module-cache-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/ModuleCache -swift-version 4 -Onone -D SWIFT_PACKAGE -D DEBUG -new-driver-path /usr/bin/swift-driver -empty-abi-descriptor -resource-dir /usr/lib/swift -enable-anonymous-context-mangled-names -module-name SwiftyAlgebra -parse-as-library -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Abstract/Ring.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Abstract/Set.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Abstract/VectorSpace.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Combinatorics/BernoulliNumbers.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Combinatorics/IntList.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Combinatorics/Permutation.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Combinatorics/combinatorics.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Computation/IntegerFactorization.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Computation/PolynomialFactorization.swift.o -o /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/SwiftyAlgebra.build/Extensions/Array.swift.o -index-store-path /host/spi-builder-workspace/.build/x86_64-unknown-linux-gnu/debug/index/store -index-system-modules
1.	Swift version 5.7.3 (swift-5.7.3-RELEASE)
2.	Compiling with effective version 4.1.50
3.	While evaluating request TypeCheckSourceFileRequest(source_file "/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift")
4.	While evaluating request TypeCheckFunctionBodyRequest(SwiftyAlgebra.(file)._BilinearMap extension.init(_:)@/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:206:12)
5.	While type-checking statement at [/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:206:59 - line:208:5] RangeText="{
        self.init{ (v: ProductVectorSpace) in f(v._1, v._2) }
    "
6.	While type-checking expression at [/host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:207:9 - line:207:61] RangeText="self.init{ (v: ProductVectorSpace) in f(v._1, v._2) "
7.	While type-checking-target starting at /host/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift:207:14
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
/usr/bin/swift-frontend(+0x551a103)[0x560fc24fc103]
/usr/bin/swift-frontend(+0x551802e)[0x560fc24fa02e]
/usr/bin/swift-frontend(+0x551a48a)[0x560fc24fc48a]
/lib/x86_64-linux-gnu/libc.so.6(+0x42520)[0x7ff6f3161520]
/usr/bin/swift-frontend(+0x14fe4aa)[0x560fbe4e04aa]
/usr/bin/swift-frontend(+0x14fe786)[0x560fbe4e0786]
/usr/bin/swift-frontend(+0x14ff7fa)[0x560fbe4e17fa]
/usr/bin/swift-frontend(+0x14ec0d1)[0x560fbe4ce0d1]
/usr/bin/swift-frontend(+0x16f7a72)[0x560fbe6d9a72]
/usr/bin/swift-frontend(+0x16f8117)[0x560fbe6da117]
/usr/bin/swift-frontend(+0x15f8b31)[0x560fbe5dab31]
/usr/bin/swift-frontend(+0x15f88a4)[0x560fbe5da8a4]
/usr/bin/swift-frontend(+0x15f879d)[0x560fbe5da79d]
/usr/bin/swift-frontend(+0x16ad3eb)[0x560fbe68f3eb]
/usr/bin/swift-frontend(+0x16afc2c)[0x560fbe691c2c]
/usr/bin/swift-frontend(+0x16aedbc)[0x560fbe690dbc]
/usr/bin/swift-frontend(+0x16adf66)[0x560fbe68ff66]
/usr/bin/swift-frontend(+0x1b99ca5)[0x560fbeb7bca5]
/usr/bin/swift-frontend(+0x1b20907)[0x560fbeb02907]
/usr/bin/swift-frontend(+0x1b208a9)[0x560fbeb028a9]
/usr/bin/swift-frontend(+0x16e0349)[0x560fbe6c2349]
/usr/bin/swift-frontend(+0x16e1dc4)[0x560fbe6c3dc4]
/usr/bin/swift-frontend(+0x16e1c42)[0x560fbe6c3c42]
/usr/bin/swift-frontend(+0x16e01e9)[0x560fbe6c21e9]
/usr/bin/swift-frontend(+0xa9a569)[0x560fbda7c569]
/usr/bin/swift-frontend(+0xa8fc3a)[0x560fbda71c3a]
/usr/bin/swift-frontend(+0xa8fb38)[0x560fbda71b38]
/usr/bin/swift-frontend(+0xa433bd)[0x560fbda253bd]
/usr/bin/swift-frontend(+0xa4273d)[0x560fbda2473d]
/usr/bin/swift-frontend(+0x914a39)[0x560fbd8f6a39]
/lib/x86_64-linux-gnu/libc.so.6(+0x29d90)[0x7ff6f3148d90]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x80)[0x7ff6f3148e40]
/usr/bin/swift-frontend(+0x914295)[0x560fbd8f6295]
BUILD FAILURE 5.7 linux

Build Machine: Linux 2