Swift Package Index

Build Information

Failed to build SwiftyAlgebra, reference 0.1.0 (44c947), with Swift 6.3 for Wasm on 21 Apr 2026 14:16:52 UTC.

Build Command

bash -c docker run --pull=always --rm -v "checkouts-4609320-3":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/swiftpackageindex/spi-images:wasm-6.3-latest swift build --swift-sdk swift-6.3-RELEASE_wasm 2>&1

Build Log

| 	- (#19) [_LieAlgebraRepresentation].[Equatable]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Representation]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Representation].[Equatable] => [Representation]) ⊗ ([_LieAlgebraRepresentation].[Representation] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable])
| 	- (#20) [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]: [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]).CoeffRing ⊗ ([_LieAlgebraRepresentation].CoeffRing => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing])
| 	- (#21) [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]: [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain] => [_LieAlgebraHom].Domain) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]).Domain ⊗ ([_LieAlgebraRepresentation].Domain => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain])
| 	- (#22) [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]: [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain] => [_LieAlgebraHom].Codomain) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]).Codomain ⊗ ([_LieAlgebraRepresentation].Codomain => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain])
| 	- (#23) [_LieAlgebraRepresentation].[_LinearMap]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_LinearMap] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_LinearMap] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap])
| 	- (#24) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Copyable] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation])
| 	- (#25) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Escapable] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation])
| 	- (#26) [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_LinearMap:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_LinearMap:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing])
| 	- (#27) [_LieAlgebraRepresentation].[_LinearMap:Domain]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_LinearMap:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_LinearMap:Domain] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain])
| 	- (#28) [_LieAlgebraRepresentation].[_LinearMap:Codomain]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_LinearMap:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_LinearMap:Codomain] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain])
| 	- (#29) [_LieAlgebraRepresentation].[_ModuleHom]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_ModuleHom] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_ModuleHom] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom])
| 	- (#30) [_LieAlgebraRepresentation].[VectorSpace]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[VectorSpace] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace])
| 	- (#31) [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_ModuleHom:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_ModuleHom:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing])
| 	- (#32) [_LieAlgebraRepresentation].[_ModuleHom:Domain]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_ModuleHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_ModuleHom:Domain] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain])
| 	- (#33) [_LieAlgebraRepresentation].[_ModuleHom:Codomain]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_ModuleHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_ModuleHom:Codomain] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain])
| 	- (#34) [_LieAlgebraRepresentation].[_AdditiveGroupHom]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_AdditiveGroupHom] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_AdditiveGroupHom] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom])
| 	- (#35) [_LieAlgebraRepresentation].[Module]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Module] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module])
| 	- (#36) [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_AdditiveGroupHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_AdditiveGroupHom:Domain] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain])
| 	- (#37) [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[_AdditiveGroupHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[_AdditiveGroupHom:Codomain] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain])
| 	- (#38) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Map] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Map] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation])
| 	- (#39) [_LieAlgebraRepresentation].[AdditiveGroup]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[AdditiveGroup] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup])
| 	- (#40) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Map:Domain] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#41) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Map:Codomain] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#42) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[SetType] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation])
| 	- (#43) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Hashable] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation])
| 	- (#44) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[CustomStringConvertible] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation])
| 	- (#45) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Equatable] => [_LieAlgebraHom]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom] => [_LieAlgebraRepresentation])
| 	- (#46) [_LieAlgebraRepresentation].[Module:CoeffRing]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[Module:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing])
| 	- (#47) [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraHom]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom].[VectorSpace:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing])
| 	- (#59) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [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:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#61) [_LieAlgebraRepresentation:VectorSpace]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[Representation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Representation:VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Representation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#62) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Representation:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Representation:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Representation:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#63) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Representation:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Representation:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Representation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#64) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Map] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Map] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#65) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#66) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#67) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#68) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Hashable] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#69) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[CustomStringConvertible] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#70) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Equatable] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#71) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_LieAlgebraHom:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#72) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_LieAlgebraHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#73) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_LieAlgebraHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#74) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_LinearMap] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#75) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_LinearMap:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#76) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_LinearMap:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#77) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_LinearMap:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#78) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_ModuleHom] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#79) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#80) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_ModuleHom:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#81) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_ModuleHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#82) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_ModuleHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#83) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_AdditiveGroupHom] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#84) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#85) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_AdditiveGroupHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#86) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[_AdditiveGroupHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#87) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation] => [_LieAlgebraRepresentation])
| 	- (#88) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#89) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#91) [_LieAlgebraRepresentation:VectorSpace].[Copyable]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[Representation:VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Representation:VectorSpace].[Copyable] => [Representation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[Representation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace].[Copyable])
| 	- (#92) [_LieAlgebraRepresentation:VectorSpace].[Escapable]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[Representation:VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Representation:VectorSpace].[Escapable] => [Representation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[Representation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace].[Escapable])
| 	- (#93) [_LieAlgebraRepresentation:Domain].[SetType]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Representation:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([Representation:Domain].[SetType] => [Representation:Domain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType])
| 	- (#94) [_LieAlgebraRepresentation:Domain].[Copyable]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Representation:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Representation:Domain].[Copyable] => [Representation:Domain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable])
| 	- (#95) [_LieAlgebraRepresentation:Domain].[Escapable]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Representation:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Representation:Domain].[Escapable] => [Representation:Domain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable])
| 	- (#96) [_LieAlgebraRepresentation:Domain].[Hashable]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Representation:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Representation:Domain].[Hashable] => [Representation:Domain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable])
| 	- (#97) [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Representation:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Representation:Domain].[CustomStringConvertible] => [Representation:Domain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible])
| 	- (#98) [_LieAlgebraRepresentation:Domain].[Equatable]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Representation:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Representation:Domain].[Equatable] => [Representation:Domain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable])
| 	- (#99) [_LieAlgebraRepresentation:Codomain].[SetType]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Representation:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([Representation:Codomain].[SetType] => [Representation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType])
| 	- (#100) [_LieAlgebraRepresentation:Codomain].[Copyable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Representation:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Representation:Codomain].[Copyable] => [Representation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable])
| 	- (#101) [_LieAlgebraRepresentation:Codomain].[Escapable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Representation:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Representation:Codomain].[Escapable] => [Representation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable])
| 	- (#102) [_LieAlgebraRepresentation:Codomain].[Hashable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Representation:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Representation:Codomain].[Hashable] => [Representation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable])
| 	- (#103) [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Representation:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Representation:Codomain].[CustomStringConvertible] => [Representation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible])
| 	- (#104) [_LieAlgebraRepresentation:Codomain].[Equatable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Representation:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Representation:Codomain].[Equatable] => [Representation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Representation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable])
| 	- (#105) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]).Domain ⊗ [_LieAlgebraRepresentation].([Map].Domain => [Map:Domain]) ⊗ ([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#106) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]).Codomain ⊗ [_LieAlgebraRepresentation].([Map].Codomain => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#107) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]).[SetType] ⊗ [_LieAlgebraRepresentation].([Map].[SetType] => [Map]) ⊗ ([_LieAlgebraRepresentation].[Map] => [_LieAlgebraRepresentation])
| 	- (#108) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Map].[Copyable] => [Map]) ⊗ ([_LieAlgebraRepresentation].[Map] => [_LieAlgebraRepresentation])
| 	- (#109) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Map].[Escapable] => [Map]) ⊗ ([_LieAlgebraRepresentation].[Map] => [_LieAlgebraRepresentation])
| 	- (#110) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Map].[Hashable] => [Map]) ⊗ ([_LieAlgebraRepresentation].[Map] => [_LieAlgebraRepresentation])
| 	- (#111) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Map].[CustomStringConvertible] => [Map]) ⊗ ([_LieAlgebraRepresentation].[Map] => [_LieAlgebraRepresentation])
| 	- (#112) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Map].[Equatable] => [Map]) ⊗ ([_LieAlgebraRepresentation].[Map] => [_LieAlgebraRepresentation])
| 	- (#113) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([Map:Domain].[SetType] => [Map:Domain]) ⊗ ([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#114) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Map:Domain].[Copyable] => [Map:Domain]) ⊗ ([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#115) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Map:Domain].[Escapable] => [Map:Domain]) ⊗ ([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#116) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Map:Domain].[Hashable] => [Map:Domain]) ⊗ ([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#117) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Map:Domain].[CustomStringConvertible] => [Map:Domain]) ⊗ ([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#118) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Map:Domain].[Equatable] => [Map:Domain]) ⊗ ([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#119) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[SetType] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#120) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[Copyable] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#121) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[Escapable] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#122) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[Hashable] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#123) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[CustomStringConvertible] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#124) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[Equatable] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#125) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation])
| 	- (#126) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation])
| 	- (#127) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation])
| 	- (#128) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation])
| 	- (#129) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation])
| 	- (#130) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation].[Hashable] => [_LieAlgebraRepresentation])
| 	- (#131) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation].[Hashable] => [_LieAlgebraRepresentation])
| 	- (#132) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation].[Hashable] => [_LieAlgebraRepresentation])
| 	- (#133) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation].[CustomStringConvertible] => [_LieAlgebraRepresentation])
| 	- (#134) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation].[CustomStringConvertible] => [_LieAlgebraRepresentation])
| 	- (#135) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation].[Equatable] => [_LieAlgebraRepresentation])
| 	- (#136) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation].[Equatable] => [_LieAlgebraRepresentation])
| 	- (#137) [_LieAlgebraRepresentation:CoeffRing].[Ring]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Ring] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring])
| 	- (#138) [_LieAlgebraRepresentation:CoeffRing].[Copyable]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Copyable] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable])
| 	- (#139) [_LieAlgebraRepresentation:CoeffRing].[Escapable]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Escapable] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable])
| 	- (#140) [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[AdditiveGroup] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup])
| 	- (#141) [_LieAlgebraRepresentation:CoeffRing].[Monoid]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Monoid] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid])
| 	- (#142) [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral])
| 	- (#143) [_LieAlgebraRepresentation:CoeffRing].[SetType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[SetType] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType])
| 	- (#144) [_LieAlgebraRepresentation:CoeffRing].[Hashable]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Hashable] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable])
| 	- (#145) [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[CustomStringConvertible] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible])
| 	- (#146) [_LieAlgebraRepresentation:CoeffRing].[Equatable]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Equatable] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable])
| 	- (#147) [_LieAlgebraRepresentation:CoeffRing].[Field]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field])
| 	- (#148) [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType])
| 	- (#149) [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[EuclideanRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing])
| 	- (#150) [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType])
| 	- (#152) [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType])
| 	- (#153) [_LieAlgebraRepresentation:Domain].[LieAlgebra]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[LieAlgebra] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra])
| 	- (#154) [_LieAlgebraRepresentation:Domain].[VectorSpace]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[VectorSpace] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace])
| 	- (#155) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[Copyable] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#156) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[Escapable] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#157) [_LieAlgebraRepresentation:Domain].[Module]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[Module] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module])
| 	- (#158) [_LieAlgebraRepresentation:Domain].[AdditiveGroup]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[AdditiveGroup] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup])
| 	- (#159) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[SetType] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#160) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[Hashable] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#161) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[CustomStringConvertible] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#162) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[Equatable] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#163) [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[LieAlgebra:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing])
| 	- (#165) [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing])
| 	- (#166) [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[Module:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing])
| 	- (#167) [_LieAlgebraRepresentation:Codomain].[LieAlgebra]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[LieAlgebra] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra])
| 	- (#168) [_LieAlgebraRepresentation:Codomain].[VectorSpace]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[VectorSpace] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace])
| 	- (#169) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[Copyable] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#170) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[Escapable] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#171) [_LieAlgebraRepresentation:Codomain].[Module]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[Module] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module])
| 	- (#172) [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[AdditiveGroup] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup])
| 	- (#173) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[SetType] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#174) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[Hashable] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#175) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[CustomStringConvertible] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#176) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[Equatable] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#177) [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[LieAlgebra:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing])
| 	- (#179) [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing])
| 	- (#180) [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[Module:CoeffRing] => [_LieAlgebraHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing])
| 	- (#181) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_LinearMap].CoeffRing => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#182) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).Domain ⊗ [_LieAlgebraRepresentation].([_LinearMap].Domain => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#183) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).Codomain ⊗ [_LieAlgebraRepresentation].([_LinearMap].Codomain => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#184) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_ModuleHom] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_ModuleHom] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#185) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[VectorSpace] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#186) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Copyable] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#187) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Escapable] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#188) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_ModuleHom:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_ModuleHom:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#189) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_ModuleHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_ModuleHom:Domain] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#190) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_ModuleHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_ModuleHom:Codomain] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#191) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_AdditiveGroupHom] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_AdditiveGroupHom] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#192) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Module] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Module] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#193) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_AdditiveGroupHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_AdditiveGroupHom:Domain] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#194) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_AdditiveGroupHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_AdditiveGroupHom:Codomain] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#195) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Map] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Map] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#196) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[AdditiveGroup] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#197) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Map:Domain] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#198) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Map:Codomain] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#199) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[SetType] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#200) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Hashable] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#201) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[CustomStringConvertible] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#202) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Equatable] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
| 	- (#203) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Module:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#204) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[VectorSpace:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#205) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Ring] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#206) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Copyable] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#207) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Escapable] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#208) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[AdditiveGroup] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#209) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Monoid] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#210) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[ExpressibleByIntegerLiteral] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#211) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[SetType] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#212) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Hashable] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#213) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[CustomStringConvertible] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#214) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Equatable] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#215) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Field] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#216) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Ring:IntegerLiteralType] => [_LinearMap:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#217) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[EuclideanRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#218) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LinearMap:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#220) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LinearMap:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#221) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[VectorSpace] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#222) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Module] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#223) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Copyable] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#224) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Escapable] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#225) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[AdditiveGroup] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#226) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[SetType] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#227) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Hashable] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#228) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[CustomStringConvertible] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#229) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Equatable] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#230) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[VectorSpace:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#231) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Domain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].CoeffRing => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#232) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Module:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#233) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[VectorSpace] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#234) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Module] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#235) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Copyable] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#236) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Escapable] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#237) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[AdditiveGroup] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#238) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[SetType] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#239) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Hashable] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#240) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[CustomStringConvertible] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#241) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Equatable] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#242) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[VectorSpace:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#243) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].CoeffRing => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#244) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Module:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#245) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_ModuleHom].CoeffRing => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#246) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).Domain ⊗ [_LieAlgebraRepresentation].([_ModuleHom].Domain => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#247) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).Codomain ⊗ [_LieAlgebraRepresentation].([_ModuleHom].Codomain => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#248) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[_AdditiveGroupHom] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[_AdditiveGroupHom] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#249) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Module] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Module] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#250) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Copyable] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#251) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Escapable] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#252) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[_AdditiveGroupHom:Domain] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[_AdditiveGroupHom:Domain] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#253) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[_AdditiveGroupHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[_AdditiveGroupHom:Codomain] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#254) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Map] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Map] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#255) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[AdditiveGroup] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#256) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Map:Domain] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#257) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Map:Codomain] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#258) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[SetType] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#259) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Hashable] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#260) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[CustomStringConvertible] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#261) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Equatable] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
| 	- (#262) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Module:CoeffRing] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#263) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).CoeffRing ⊗ [_LieAlgebraRepresentation].([VectorSpace].CoeffRing => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#264) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
| 	- (#265) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Copyable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
| 	- (#266) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Escapable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
| 	- (#267) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Module:CoeffRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#268) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
| 	- (#269) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
| 	- (#270) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
| 	- (#271) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
| 	- (#272) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
| 	- (#273) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Ring] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#274) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Copyable] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#275) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Escapable] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#276) [_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].[_ModuleHom:CoeffRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].IntegerLiteralType => [_ModuleHom:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#277) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[AdditiveGroup] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#278) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Monoid] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#279) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[ExpressibleByIntegerLiteral] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#280) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[SetType] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#281) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Hashable] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#282) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[CustomStringConvertible] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#283) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Equatable] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#284) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_ModuleHom:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#285) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Module] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Module] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#286) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Domain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].CoeffRing => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#287) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Module:CoeffRing] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#288) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[AdditiveGroup] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#289) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Copyable] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#290) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Escapable] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#291) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[SetType] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#292) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Hashable] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#293) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[CustomStringConvertible] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#294) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Equatable] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#295) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Module] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#296) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].CoeffRing => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#297) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Module:CoeffRing] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#298) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[AdditiveGroup] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#299) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Copyable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#300) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Escapable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#301) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[SetType] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#302) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Hashable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#303) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[CustomStringConvertible] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#304) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Equatable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#305) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).Domain ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].Domain => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#306) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).Codomain ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].Codomain => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#307) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#308) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[AdditiveGroup] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#309) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Copyable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#310) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Escapable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#311) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map:Domain] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#312) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map:Codomain] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#313) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[SetType] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#314) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Hashable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#315) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[CustomStringConvertible] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#316) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Equatable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#317) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).CoeffRing ⊗ [_LieAlgebraRepresentation].([Module].CoeffRing => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#318) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#319) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Module].[Copyable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#320) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Module].[Escapable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#321) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#322) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#323) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#324) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#325) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[AdditiveGroup] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#326) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[SetType] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#327) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Copyable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#328) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Escapable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#329) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Hashable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#330) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[CustomStringConvertible] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#331) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Equatable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#332) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[AdditiveGroup] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#333) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[SetType] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#334) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Copyable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#335) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Escapable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#336) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Hashable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#337) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[CustomStringConvertible] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#338) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Equatable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#339) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#340) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#341) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#342) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#343) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#344) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#345) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Ring] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#346) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Copyable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#347) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Escapable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#348) [_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].[Module:CoeffRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].IntegerLiteralType => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#349) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#350) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Monoid] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#351) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#352) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[SetType] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#353) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#354) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#355) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Equatable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#356) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#357) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Field] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#359) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[EuclideanRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#360) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Copyable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#361) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Escapable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#362) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[EuclideanRing:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#363) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Ring] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#364) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Ring:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#365) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[AdditiveGroup] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#366) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Monoid] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#367) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#368) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[SetType] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#369) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Hashable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#370) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[CustomStringConvertible] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#371) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Equatable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#372) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#400) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#401) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]
| 	- (#402) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#403) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Copyable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#404) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Escapable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#405) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#406) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#407) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#408) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#409) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#410) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#411) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#412) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#413) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#414) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#415) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#417) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#418) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#419) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Copyable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#420) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Escapable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#421) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#422) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#423) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#424) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#425) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#426) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#427) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#428) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[LieAlgebra:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#429) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Domain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).CoeffRing ⊗ [_LieAlgebraRepresentation].[_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].CoeffRing => [_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#430) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#431) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#432) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#433) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#434) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#435) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#436) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#437) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#438) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#439) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#440) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#441) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#442) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#443) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).CoeffRing ⊗ [_LieAlgebraRepresentation].[_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].CoeffRing => [_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#444) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#445) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#446) [_LieAlgebraRepresentation:VectorSpace]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace].[Copyable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:VectorSpace].[Copyable] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#447) [_LieAlgebraRepresentation:VectorSpace]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace].[Escapable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:VectorSpace].[Escapable] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#448) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#449) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#450) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#451) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#452) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#453) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
| 	- (#454) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
| 	- (#455) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
| 	- (#456) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain])
| 	- (#457) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain])
| 	- (#458) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain])
| 	- (#459) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain])
| 	- (#460) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#461) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#462) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#463) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#464) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#465) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#466) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#467) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#468) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain])
| 	- (#469) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain])
| 	- (#470) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#471) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#472) [_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])
| 	- (#473) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[AdditiveGroup] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#474) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Monoid] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#475) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[ExpressibleByIntegerLiteral] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#476) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Copyable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#477) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Escapable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#478) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[SetType] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#479) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Hashable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#480) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[CustomStringConvertible] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#481) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Equatable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#482) [_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])
| 	- (#483) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#484) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#485) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#486) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#487) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#488) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#489) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[SetType] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#490) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Copyable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#491) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Escapable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#492) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Hashable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#493) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[CustomStringConvertible] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#494) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Equatable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#495) [_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])
| 	- (#496) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].[Copyable] => [ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#497) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].[Escapable] => [ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#498) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#499) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#500) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#501) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#502) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#503) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#504) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#505) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#506) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#507) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#508) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#509) [_Lie
BUILD FAILURE 6.3 wasm