Swift Package Index

Build Information

Failed to build SwiftyAlgebra with Swift 5.10 for watchOS using Xcode 15.3 at 0.1.0.

Build Command

env DEVELOPER_DIR=/Applications/Xcode-15.3.0-Beta.2.app xcrun xcodebuild -IDEClonedSourcePackagesDirPathOverride=$workDir/.dependencies -skipMacroValidation -skipPackagePluginValidation -derivedDataPath $workDir/.derivedData build -scheme SwiftyAlgebra -destination generic/platform=watchos

Build Log

- (#100) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Map:Domain].[Equatable] => [Map:Domain]) ⊗ ([_LieAlgebraRepresentation].[Map:Domain] => [_LieAlgebraRepresentation:Domain])
- (#101) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[SetType] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#102) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[Hashable] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#103) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[CustomStringConvertible] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#104) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Map:Codomain].[Equatable] => [Map:Codomain]) ⊗ ([_LieAlgebraRepresentation].[Map:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#105) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation])
- (#106) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation])
- (#107) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation].[SetType] => [_LieAlgebraRepresentation])
- (#108) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation].[Hashable] => [_LieAlgebraRepresentation])
- (#109) [_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])
- (#110) [_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])
- (#111) [_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])
- (#112) [_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])
- (#113) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[SetType] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#114) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[Hashable] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#115) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[CustomStringConvertible] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#116) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].[Equatable] => [_LieAlgebraHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#117) [_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])
- (#119) [_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])
- (#120) [_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])
- (#121) [_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])
- (#122) [_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])
- (#123) [_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])
- (#124) [_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])
- (#125) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[SetType] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#126) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[Hashable] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#127) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[CustomStringConvertible] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#128) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].[Equatable] => [_LieAlgebraHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#129) [_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])
- (#131) [_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])
- (#132) [_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])
- (#133) [_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])
- (#134) [_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])
- (#135) [_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])
- (#136) [_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])
- (#137) [_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])
- (#138) [_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])
- (#139) [_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])
- (#140) [_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])
- (#141) [_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])
- (#142) [_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])
- (#143) [_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])
- (#144) [_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])
- (#146) [_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])
- (#147) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).Domain ⊗ [_LieAlgebraRepresentation].([_LinearMap].Domain => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#148) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).Codomain ⊗ [_LieAlgebraRepresentation].([_LinearMap].Codomain => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#149) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_LinearMap].CoeffRing => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#150) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_ModuleHom] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_ModuleHom] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#151) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[VectorSpace] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#152) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_ModuleHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_ModuleHom:Domain] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#153) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_ModuleHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_ModuleHom:Codomain] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#154) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_ModuleHom:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_ModuleHom:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#155) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_AdditiveGroupHom] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_AdditiveGroupHom] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#156) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Module] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Module] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#157) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_AdditiveGroupHom:Domain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_AdditiveGroupHom:Domain] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#158) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[_AdditiveGroupHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[_AdditiveGroupHom:Codomain] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#159) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Map] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Map] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#160) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[AdditiveGroup] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#161) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Map:Domain] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#162) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Map:Codomain] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#163) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[SetType] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#164) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Hashable] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#165) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[CustomStringConvertible] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#166) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Equatable] => [_LinearMap]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap] => [_LieAlgebraRepresentation])
- (#167) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[Module:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#168) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_LinearMap]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap].[VectorSpace:CoeffRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#169) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[VectorSpace] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#170) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Module] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#171) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[AdditiveGroup] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#172) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[SetType] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#173) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Hashable] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#174) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[CustomStringConvertible] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#175) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LinearMap:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Domain].[Equatable] => [_LinearMap:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Domain] => [_LieAlgebraRepresentation:Domain])
- (#176) [_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])
- (#177) [_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])
- (#178) [_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])
- (#179) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[VectorSpace] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#180) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Module] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#181) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[AdditiveGroup] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#182) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[SetType] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#183) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Hashable] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#184) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[CustomStringConvertible] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#185) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LinearMap:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:Codomain].[Equatable] => [_LinearMap:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#186) [_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])
- (#187) [_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])
- (#188) [_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])
- (#189) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Ring] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#190) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[AdditiveGroup] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#191) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Monoid] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#192) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[ExpressibleByIntegerLiteral] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#193) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[SetType] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#194) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Hashable] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#195) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[CustomStringConvertible] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#196) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Equatable] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#197) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[Field] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#198) [_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]
- (#199) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LinearMap:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([_LinearMap:CoeffRing].[EuclideanRing] => [_LinearMap:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LinearMap:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#200) [_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]
- (#202) [_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]
- (#203) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).Domain ⊗ [_LieAlgebraRepresentation].([_ModuleHom].Domain => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#204) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).Codomain ⊗ [_LieAlgebraRepresentation].([_ModuleHom].Codomain => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#205) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_ModuleHom].CoeffRing => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#206) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[_AdditiveGroupHom] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[_AdditiveGroupHom] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
- (#207) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Module] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Module] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
- (#208) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[_AdditiveGroupHom:Domain] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[_AdditiveGroupHom:Domain] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#209) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[_AdditiveGroupHom:Codomain] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[_AdditiveGroupHom:Codomain] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#210) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Map] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Map] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
- (#211) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[AdditiveGroup] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
- (#212) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Map:Domain] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#213) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Map:Codomain] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#214) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[SetType] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
- (#215) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Hashable] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
- (#216) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[CustomStringConvertible] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
- (#217) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Equatable] => [_ModuleHom]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom] => [_LieAlgebraRepresentation])
- (#218) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_ModuleHom]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_ModuleHom].[Module:CoeffRing] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#219) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).CoeffRing ⊗ [_LieAlgebraRepresentation].([VectorSpace].CoeffRing => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#220) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
- (#221) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Module:CoeffRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#222) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
- (#223) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
- (#224) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
- (#225) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
- (#226) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace] => [_LieAlgebraRepresentation])
- (#227) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Module] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Module] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#228) [_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])
- (#229) [_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])
- (#230) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[AdditiveGroup] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#231) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[SetType] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#232) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Hashable] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#233) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[CustomStringConvertible] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#234) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Equatable] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#235) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Module] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#236) [_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])
- (#237) [_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])
- (#238) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[AdditiveGroup] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#239) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[SetType] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#240) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Hashable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#241) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[CustomStringConvertible] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#242) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Equatable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#243) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Ring] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#244) [_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])
- (#245) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[AdditiveGroup] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#246) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Monoid] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#247) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[ExpressibleByIntegerLiteral] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#248) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[SetType] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#249) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Hashable] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#250) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[CustomStringConvertible] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#251) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_ModuleHom:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:CoeffRing].[Equatable] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#252) [_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])
- (#253) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).Domain ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].Domain => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#254) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).Codomain ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].Codomain => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#255) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
- (#256) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[AdditiveGroup] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
- (#257) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map:Domain] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#258) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map:Codomain] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#259) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[SetType] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
- (#260) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Hashable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
- (#261) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[CustomStringConvertible] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
- (#262) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Equatable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
- (#263) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).CoeffRing ⊗ [_LieAlgebraRepresentation].([Module].CoeffRing => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#264) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
- (#265) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
- (#266) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
- (#267) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
- (#268) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
- (#269) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[AdditiveGroup] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#270) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[SetType] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#271) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Hashable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#272) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[CustomStringConvertible] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#273) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Equatable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
- (#274) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[AdditiveGroup] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#275) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[SetType] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#276) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Hashable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#277) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[CustomStringConvertible] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#278) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Equatable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#279) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
- (#280) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
- (#281) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
- (#282) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
- (#283) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Ring] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#284) [_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])
- (#285) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#286) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Monoid] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#287) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#288) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[SetType] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#289) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#290) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#291) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Equatable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#292) [_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])
- (#293) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Field] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#295) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[EuclideanRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#296) [_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]
- (#297) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Ring] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#298) [_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]
- (#299) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[AdditiveGroup] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#300) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Monoid] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#301) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#302) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[SetType] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#303) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Hashable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#304) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[CustomStringConvertible] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#305) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Equatable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#306) [_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]
- (#334) [_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])
- (#335) [_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]>]
- (#336) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
- (#337) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
- (#338) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
- (#339) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
- (#340) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
- (#341) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
- (#342) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
- (#343) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
- (#344) [_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])
- (#345) [_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])
- (#346) [_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])
- (#347) [_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])
- (#348) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#349) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#350) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#351) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#352) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#353) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#354) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#355) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#356) [_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])
- (#357) [_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])
- (#358) [_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])
- (#359) [_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])
- (#360) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#361) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#362) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#363) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#364) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#365) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#366) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#367) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#368) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#369) [_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]
- (#370) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#371) [_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]
- (#373) [_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]
- (#374) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
- (#375) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
- (#376) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
- (#377) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
- (#378) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
- (#379) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
- (#380) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
- (#381) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
- (#382) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Domain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).CoeffRing ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].CoeffRing => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#383) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[VectorSpace] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[VectorSpace] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#384) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[VectorSpace:CoeffRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#385) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Module] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Module] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#386) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Module:CoeffRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#387) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[AdditiveGroup] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#388) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[SetType] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#389) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Hashable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#390) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[CustomStringConvertible] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#391) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Equatable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#392) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Domain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).CoeffRing ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].CoeffRing => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#393) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#394) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Module:CoeffRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#395) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#396) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#397) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#398) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#399) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#400) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Domain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).CoeffRing ⊗ [_LieAlgebraRepresentation:Domain].([Module].CoeffRing => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#401) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#402) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#403) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#404) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#405) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#406) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#407) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#408) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#409) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#410) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[Field] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#412) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[EuclideanRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#413) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[EuclideanRing:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#414) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[Ring] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#415) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[Ring:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#416) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[AdditiveGroup] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#417) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[Monoid] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#418) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[ExpressibleByIntegerLiteral] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#419) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[SetType] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#420) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[Hashable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#421) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[CustomStringConvertible] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#422) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[Equatable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#423) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#424) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Field] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#426) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[EuclideanRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#427) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[EuclideanRing:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#428) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Ring] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#429) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Ring:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#430) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[AdditiveGroup] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#431) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Monoid] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#432) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#433) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[SetType] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#434) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Hashable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#435) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[CustomStringConvertible] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#436) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Equatable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#437) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#438) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Ring] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#439) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].IntegerLiteralType => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#440) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#441) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Monoid] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#442) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#443) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[SetType] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#444) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#445) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#446) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Equatable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#447) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#448) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).CoeffRing ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].CoeffRing => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#449) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[VectorSpace] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#450) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[VectorSpace:CoeffRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#451) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Module] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#452) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Module:CoeffRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#453) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[AdditiveGroup] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#454) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[SetType] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#455) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Hashable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#456) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[CustomStringConvertible] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#457) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Equatable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#458) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).CoeffRing ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].CoeffRing => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#459) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#460) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Module:CoeffRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#461) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#462) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#463) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#464) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#465) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#466) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).CoeffRing ⊗ [_LieAlgebraRepresentation:Codomain].([Module].CoeffRing => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#467) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#468) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#469) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#470) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#471) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#472) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#473) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#474) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#475) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#476) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Field] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#478) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[EuclideanRing] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#479) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[EuclideanRing:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#480) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Ring] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#481) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Ring:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#482) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[AdditiveGroup] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#483) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Monoid] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#484) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[ExpressibleByIntegerLiteral] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#485) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[SetType] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#486) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Hashable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#487) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[CustomStringConvertible] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#488) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Equatable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#489) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [LieAlgebra:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#490) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Field] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#492) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[EuclideanRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#493) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[EuclideanRing:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#494) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Ring] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#495) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Ring:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#496) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[AdditiveGroup] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#497) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Monoid] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#498) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#499) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[SetType] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#500) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Hashable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#501) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[CustomStringConvertible] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#502) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Equatable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#503) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
- (#504) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Ring] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#505) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].IntegerLiteralType => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#506) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#507) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Monoid] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#508) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#509) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[SetType] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#510) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:
SwiftCompile normal armv7k Compiling\ ModuleStructure.swift,\ SimpleModuleStructure.swift,\ AlternatingGroup.swift,\ SymmetricGroup.swift,\ Cache.swift,\ Expression.swift,\ Ref.swift,\ debug.swift,\ optable.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/AlternatingGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/SymmetricGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Cache.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Expression.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Ref.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/debug.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/optable.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace
    builtin-swiftTaskExecution -- /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift-frontend -frontend -c /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Field.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Group.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Map.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Module.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Monoid.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/NormedSpace.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Representation.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Ring.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/Set.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/BernoulliNumbers.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/IntList.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/Permutation.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Combinatorics/combinatorics.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/IntegerFactorization.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Computation/PolynomialFactorization.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Array.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Dictionary.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Extensions/Sequence.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModule.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModuleBase.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/FreeModule/FreeModuleHom.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainComplex.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainComplexOperations.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ChainMap.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/ExactSequence.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/Homology.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyClass.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyExactSequence.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Homology/HomologyMap.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/ComputationalMatrix.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/DiagonalEliminator.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/EchelonEliminator.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/HermiteEliminator.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminationResult.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminator.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Computation/SmithEliminator.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Matrix.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearLieAlgebra.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixLieAlgebra.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalLieAlgebra.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticLieAlgebra.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryLieAlgebra.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/SquareMatrix.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Matrix/Vector.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/CustomOperators.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/Randomable.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Meta/TypeParameters.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Complex.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Integer.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Quaternion.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Rational.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Real.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Numbers/Z_2.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MPolynomial.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/MultiplicativeSequence.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PolynomialIdeal.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/Polynominal.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/PowerSeries.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Polynomial/SymmetricPolynomial.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/AlgebraicStructure.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/GroupStructure.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/AlternatingGroup.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/SymmetricGroup.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Cache.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Expression.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Ref.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/debug.swift -primary-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/optable.swift -supplementary-output-file-map /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/supplementaryOutputs-23 -target armv7k-apple-watchos5.0 -enable-objc-interop -sdk /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS10.4.sdk -I /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos -I /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/lib -F /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos -F /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/Library/Frameworks -F /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS10.4.sdk/Developer/Library/Frameworks -no-color-diagnostics -enable-testing -g -module-cache-path /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/ModuleCache.noindex -profile-generate -profile-coverage-mapping -swift-version 4 -enforce-exclusivity\=checked -Onone -D SWIFT_PACKAGE -D DEBUG -D Xcode -serialize-debugging-options -const-gather-protocols-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/SwiftyAlgebra_const_extract_protocols.json -empty-abi-descriptor -validate-clang-modules-once -clang-build-session-file /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace -resource-dir /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift -enable-anonymous-context-mangled-names -Xcc -ivfsstatcache -Xcc /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/SDKStatCaches.noindex/watchos10.4-21T5196c-188b4c5c5639cdba02b95625249bd203.sdkstatcache -Xcc -I/Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/swift-overrides.hmap -Xcc -I/Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos/include -Xcc -I/Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/DerivedSources-normal/armv7k -Xcc -I/Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/DerivedSources/armv7k -Xcc -I/Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/DerivedSources -Xcc -DSWIFT_PACKAGE -Xcc -DDEBUG\=1 -module-name SwiftyAlgebra -frontend-parseable-output -disable-clang-spi -target-sdk-version 10.4 -target-sdk-name watchos10.4 -external-plugin-path /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS10.4.sdk/usr/lib/swift/host/plugins\#/Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS10.4.sdk/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS10.4.sdk/usr/local/lib/swift/host/plugins\#/Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS10.4.sdk/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/lib/swift/host/plugins\#/Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/local/lib/swift/host/plugins\#/Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/bin/swift-plugin-server -plugin-path /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins -plugin-path /Applications/Xcode-15.3.0-Beta.2.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/local/lib/swift/host/plugins -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/ModuleStructure.o -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/SimpleModuleStructure.o -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/AlternatingGroup.o -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/SymmetricGroup.o -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/Cache.o -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/Expression.o -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/Ref.o -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/debug.o -o /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/optable.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/ModuleStructure.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/SimpleModuleStructure.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/AlternatingGroup.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/SymmetricGroup.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/Cache.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/Expression.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/Ref.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/debug.o -index-unit-output-path /SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/armv7k/optable.o -index-store-path /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/.derivedData/Index.noindex/DataStore -index-system-modules
Command SwiftCompile failed with a nonzero exit code
2024-02-19 09:48:20.036 xcodebuild[74064:22994391] Requested but did not find extension point with identifier Xcode.DVTDeviceFoundation.Aspect for extension Xcode.IDEiOSSupportCore.Aspect.NBDD of plug-in com.apple.dt.IDE.IDEiOSSupportCore
2024-02-19 09:48:20.495 xcodebuild[74064:22994391] [MT] DVTPlugInQuery: Requested but did not find extension point with identifier 'Xcode.DVTDeviceFoundation.CompatibleDeviceFamilyPair'. This is programmer error; code should only request extension points that are defined by itself or its dependencies.
** BUILD FAILED **
The following build commands failed:
	SwiftEmitModule normal arm64_32 Emitting\ module\ for\ SwiftyAlgebra (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
	SwiftCompile normal armv7k Compiling\ ModuleStructure.swift,\ SimpleModuleStructure.swift,\ AlternatingGroup.swift,\ SymmetricGroup.swift,\ Cache.swift,\ Expression.swift,\ Ref.swift,\ debug.swift,\ optable.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/AlternatingGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/SymmetricGroup/SymmetricGroup.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Cache.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Expression.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/Ref.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/debug.swift /Users/builder/builds/TDmZkXJm/2/finestructure/swiftpackageindex-builder/spi-builder-workspace/Sources/SwiftyAlgebra/Util/optable.swift (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
(2 failures)
BUILD FAILURE 5.10 watchOS