The Swift Package Index logo.Swift Package Index

Track the adoption of Swift 6 strict concurrency checks for data race safety. How many packages are Ready for Swift 6?

Build Information

Failed to build SwiftyTopology, reference master (b6beb9), with Swift 6.0 for watchOS using Xcode 16.2 on 26 Nov 2024 21:52:42 UTC.

Build Command

env DEVELOPER_DIR=/Applications/Xcode-16.1.0.app xcrun xcodebuild -IDEClonedSourcePackagesDirPathOverride=$PWD/.dependencies -skipMacroValidation -skipPackagePluginValidation -derivedDataPath $PWD/.derivedData build -scheme SwiftyTopology -destination generic/platform=watchOS OTHER_SWIFT_FLAGS=-stats-output-dir .stats -strict-concurrency=complete -enable-upcoming-feature StrictConcurrency -enable-upcoming-feature DisableOutwardActorInference -enable-upcoming-feature GlobalActorIsolatedTypesUsability -enable-upcoming-feature InferSendableFromCaptures

Build Log

- (#418) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#419) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#420) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#421) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#422) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#423) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#424) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#425) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#426) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#427) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
- (#428) [_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])
- (#429) [_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])
- (#430) [_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])
- (#431) [_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])
- (#432) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#433) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Copyable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#434) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Escapable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#435) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#436) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#437) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#438) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#439) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#440) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#441) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#442) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#443) [_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]
- (#444) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#445) [_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]
- (#447) [_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]
- (#448) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
- (#449) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
- (#450) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
- (#451) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
- (#452) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
- (#453) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
- (#454) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
- (#455) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
- (#456) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain])
- (#457) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain])
- (#458) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain])
- (#459) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain])
- (#460) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
- (#461) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
- (#462) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
- (#463) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
- (#464) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
- (#465) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
- (#466) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
- (#467) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
- (#468) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain])
- (#469) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain])
- (#470) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain])
- (#471) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain])
- (#472) [_LieAlgebraRepresentation:CoeffRing]: ([_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])
- (#473) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[VectorSpace] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[VectorSpace] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#474) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Copyable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#475) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Escapable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#476) [_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])
- (#477) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Module] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Module] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#478) [_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])
- (#479) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[AdditiveGroup] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#480) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[SetType] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#481) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Hashable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#482) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[CustomStringConvertible] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#483) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Equatable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
- (#484) [_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])
- (#485) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#486) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Copyable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#487) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Escapable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#488) [_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])
- (#489) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#490) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#491) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#492) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#493) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
- (#494) [_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])
- (#495) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#496) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Copyable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#497) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Escapable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#498) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#499) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#500) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#501) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
- (#502) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#503) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#504) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#505) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#506) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#507) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
- (#508) [_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])
- (#510) [_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])
- (#511) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[Copyable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#512) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra:CoeffRing].[Escapable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#513) [_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]
- (#514) [_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])
- (#515) [_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]
- (#516) [_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])
- (#517) [_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])
- (#518) [_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])
- (#519) [_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])
- (#520) [_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])
- (#521) [_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])
- (#522) [_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])
- (#523) [_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]
- (#524) [_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])
- (#526) [_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])
- (#527) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Copyable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#528) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace:CoeffRing].[Escapable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#529) [_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]
- (#530) [_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])
- (#531) [_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]
- (#532) [_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])
- (#533) [_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])
- (#534) [_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])
- (#535) [_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])
- (#536) [_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])
- (#537) [_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])
- (#538) [_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])
- (#539) [_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]
- (#540) [_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])
- (#541) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Copyable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#542) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Module:CoeffRing].[Escapable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#543) [_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])
- (#544) [_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])
- (#545) [_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])
- (#546) [_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])
- (#547) [_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])
- (#548) [_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])
- (#549) [_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])
- (#550) [_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])
- (#551) [_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])
- (#552) [_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])
- (#553) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[VectorSpace] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#554) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Copyable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#555) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Escapable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#556) [_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])
- (#557) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Module] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#558) [_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])
- (#559) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[AdditiveGroup] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#560) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[SetType] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#561) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Hashable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#562) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[CustomStringConvertible] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#563) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Equatable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
- (#564) [_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])
- (#565) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#566) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Copyable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#567) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Escapable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#568) [_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])
- (#569) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#570) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#571) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#572) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#573) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
- (#574) [_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])
- (#575) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#576) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Copyable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#577) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Escapable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#578) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#579) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#580) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#581) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
- (#582) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#583) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#584) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#585) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#586) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#587) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
- (#588) [_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])
- (#590) [_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])
- (#591) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Copyable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#592) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra:CoeffRing].[Escapable] => [LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#593) [_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]
- (#594) [_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])
- (#595) [_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]
- (#596) [_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])
- (#597) [_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])
- (#598) [_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])
- (#599) [_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])
- (#600) [_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])
- (#601) [_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])
- (#602) [_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])
- (#603) [_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]
- (#604) [_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])
- (#606) [_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])
- (#607) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Copyable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#608) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace:CoeffRing].[Escapable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#609) [_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]
- (#610) [_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])
- (#611) [_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]
- (#612) [_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])
- (#613) [_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])
- (#614) [_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])
- (#615) [_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])
- (#616) [_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])
- (#617) [_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])
- (#618) [_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])
- (#619) [_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]
- (#620) [_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])
- (#621) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Copyable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#622) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Escapable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#623) [_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])
- (#624) [_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])
- (#625) [_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])
- (#626) [_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])
- (#627) [_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])
- (#628) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#629) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#630) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[Equatable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#631) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#632) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].IntegerLiteralType => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#633) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[AdditiveGroup] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#634) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Monoid] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#635) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[ExpressibleByIntegerLiteral] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#636) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Copyable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#637) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Escapable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#638) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[SetType] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#639) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Hashable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#640) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[CustomStringConvertible] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#641) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Equatable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
- (#642) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#643) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#644) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#645) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#646) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#647) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#648) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
- (#649) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[SetType] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#650) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Copyable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#651) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Escapable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#652) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Hashable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#653) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[CustomStringConvertible] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#654) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Equatable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
- (#655) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].IntegerLiteralType => [ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#656) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].[Copyable] => [ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing])
- (#657) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].[Escapable] => [ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing])
- (#658) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
- (#659) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
- (#660) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
- (#661) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
- (#662) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
- (#663) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
- (#664) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
- (#665) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
- (#666) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing])
- (#667) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing])
- (#668) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing])
- (#669) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing])
- (#671) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[EuclideanRing] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#672) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Copyable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#673) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Escapable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#674) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[EuclideanRing:IntegerLiteralType] => [Field:IntegerLiteralType])
- (#675) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Ring] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Ring] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#676) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Ring:IntegerLiteralType] => [Field:IntegerLiteralType])
- (#677) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[AdditiveGroup] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#678) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Monoid] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#679) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[ExpressibleByIntegerLiteral] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#680) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[SetType] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#681) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Hashable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#682) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[CustomStringConvertible] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#683) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Equatable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
- (#684) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Field:IntegerLiteralType])
- (#685) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring:IntegerLiteralType].[Copyable] => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#686) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring:IntegerLiteralType].[Escapable] => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#687) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]).[_ExpressibleByBuiltinIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#688) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].IntegerLiteralType => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#689) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Ring] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Ring] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#690) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Copyable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#691) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Escapable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#692) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Ring:IntegerLiteralType] => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#693) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[AdditiveGroup] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#694) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Monoid] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#695) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[ExpressibleByIntegerLiteral] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#696) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[SetType] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#697) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Hashable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#698) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[CustomStringConvertible] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#699) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Equatable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
- (#700) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#701) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing:IntegerLiteralType].[Copyable] => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#702) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing:IntegerLiteralType].[Escapable] => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#703) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]).[_ExpressibleByBuiltinIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#704) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]).[_ExpressibleByBuiltinIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral:IntegerLiteralType].[_ExpressibleByBuiltinIntegerLiteral] => [ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#705) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral:IntegerLiteralType].[Copyable] => [ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#706) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: [_LieAlgebraRepresentation:CoeffRing].([Field:IntegerLiteralType] => [Field:IntegerLiteralType].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral:IntegerLiteralType].[Escapable] => [ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
- (#751) [_LieAlgebraRepresentation:VectorSpace]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]) ⊗ RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace])
- (#752) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ (σ - [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#753) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[SetType]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : SetType] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#754) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Copyable]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Copyable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#755) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Escapable]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Escapable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#756) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Hashable]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Hashable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#757) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[CustomStringConvertible]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : CustomStringConvertible] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#758) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Equatable]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Equatable] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#759) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[LieAlgebra]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : LieAlgebra] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#760) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[VectorSpace]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : VectorSpace] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#761) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[Module]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Module] ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#762) [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace).[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation].VectorSpace.[Module:CoeffRing] =>> [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module].[Module:CoeffRing]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : Module] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Module] => [_LieAlgebraRepresentation:Codomain]).[Module:CoeffRing] ⊗ ([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:VectorSpace].[Module:CoeffRing])
- (#763) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1) ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>].[AdditiveGroup]) ⊗ Decompose(1) ⊗ ([_LieAlgebraRepresentation].VectorSpace => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ DecomposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].VectorSpace> : AdditiveGroup] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].VectorSpace) ⊗ Compose(1)
- (#764) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : SetType])
- (#765) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Copyable])
- (#766) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Escapable])
- (#767) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Hashable])
- (#768) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : CustomStringConvertible])
- (#769) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : Equatable])
- (#770) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : LieAlgebra])
- (#771) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace] =>> [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]> : VectorSpace])
EmitSwiftModule normal arm64_32 (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode
    /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift-frontend -emit-module -experimental-skip-non-inlinable-function-bodies-without-types /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Field.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Group.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Map.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Module.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Monoid.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/NormedSpace.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Representation.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Ring.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Set.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Combinatorics/BernoulliNumbers.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Combinatorics/IntList.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Combinatorics/Permutation.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Combinatorics/combinatorics.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Computation/IntegerFactorization.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Computation/PolynomialFactorization.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Extensions/Array.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Extensions/Dictionary.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Extensions/Sequence.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/FreeModule/FreeModule.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/FreeModule/FreeModuleBase.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/FreeModule/FreeModuleHom.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/ChainComplex.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/ChainComplexOperations.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/ChainMap.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/ExactSequence.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/Homology.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/HomologyClass.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/HomologyExactSequence.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/HomologyMap.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/ComputationalMatrix.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/DiagonalEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/EchelonEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/HermiteEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminationResult.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/SmithEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Matrix.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/SquareMatrix.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Vector.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Meta/CustomOperators.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Meta/Randomable.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Meta/TypeParameters.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Complex.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Integer.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Quaternion.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Rational.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Real.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Z_2.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/MPolynomial.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/MultiplicativeSequence.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/PolynomialIdeal.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/Polynominal.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/PowerSeries.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/SymmetricPolynomial.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Structure/AlgebraicStructure.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Structure/GroupStructure.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/SymmetricGroup/AlternatingGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/SymmetricGroup/SymmetricGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/Cache.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/Expression.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/Ref.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/debug.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/optable.swift -target arm64_32-apple-watchos5.0 -enable-objc-interop -sdk /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS11.1.sdk -I /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos -I /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/lib -F /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos -F /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/Library/Frameworks -F /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS11.1.sdk/Developer/Library/Frameworks -no-color-diagnostics -enable-testing -g -debug-info-format\=dwarf -dwarf-version\=4 -module-cache-path /Users/admin/builder/spi-builder-workspace/.derivedData/ModuleCache.noindex -suppress-warnings -profile-generate -profile-coverage-mapping -swift-version 4 -enforce-exclusivity\=checked -stats-output-dir /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode/.stats -Onone -D SWIFT_PACKAGE -D DEBUG -serialize-debugging-options -const-gather-protocols-file /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64_32/SwiftyAlgebra_const_extract_protocols.json -enable-experimental-feature DebugDescriptionMacro -enable-experimental-feature OpaqueTypeErasure -enable-upcoming-feature StrictConcurrency -enable-upcoming-feature DisableOutwardActorInference -enable-upcoming-feature GlobalActorIsolatedTypesUsability -enable-upcoming-feature InferSendableFromCaptures -strict-concurrency\=complete -empty-abi-descriptor -plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins/testing -validate-clang-modules-once -clang-build-session-file /Users/admin/builder/spi-builder-workspace/.derivedData/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode -resource-dir /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift -enable-anonymous-context-mangled-names -file-compilation-dir /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode -Xcc -D_LIBCPP_HARDENING_MODE\=_LIBCPP_HARDENING_MODE_DEBUG -Xcc -ivfsstatcache -Xcc /Users/admin/builder/spi-builder-workspace/.derivedData/SDKStatCaches.noindex/watchos11.1-22R574-7b9df0bda16bb4641b33636c68f04660.sdkstatcache -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/swift-overrides.hmap -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos/include -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/DerivedSources-normal/arm64_32 -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/DerivedSources/arm64_32 -Xcc -I/Users/admin/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 11.1 -target-sdk-name watchos11.1 -external-plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/lib/swift/host/plugins\#/Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/local/lib/swift/host/plugins\#/Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/bin/swift-plugin-server -plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins -plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/local/lib/swift/host/plugins -emit-module-doc-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64_32/SwiftyAlgebra.swiftdoc -emit-module-source-info-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64_32/SwiftyAlgebra.swiftsourceinfo -emit-objc-header-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64_32/SwiftyAlgebra-Swift.h -serialize-diagnostics-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64_32/SwiftyAlgebra-master-emit-module.dia -emit-dependencies-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64_32/SwiftyAlgebra-master-emit-module.d -o /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64_32/SwiftyAlgebra.swiftmodule -emit-abi-descriptor-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64_32/SwiftyAlgebra.abi.json
SwiftEmitModule normal arm64 Emitting\ module\ for\ SwiftyAlgebra (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
    cd /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode
    builtin-swiftTaskExecution -- /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift-frontend -frontend -emit-module -experimental-skip-non-inlinable-function-bodies-without-types /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/AdditiveGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/EuclideanRing.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Field.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Group.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/LieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Map.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Module.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Monoid.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/NormedSpace.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Representation.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Ring.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/Set.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Abstract/VectorSpace.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Combinatorics/BernoulliNumbers.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Combinatorics/IntList.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Combinatorics/Permutation.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Combinatorics/combinatorics.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Computation/IntegerFactorization.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Computation/PolynomialFactorization.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Extensions/Array.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Extensions/Dictionary.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Extensions/Sequence.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/FreeModule/FreeModule.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/FreeModule/FreeModuleBase.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/FreeModule/FreeModuleHom.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/ChainComplex.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/ChainComplexOperations.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/ChainMap.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/ExactSequence.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/Homology.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/HomologyClass.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/HomologyExactSequence.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Homology/HomologyMap.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/ComputationalMatrix.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/DiagonalEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/EchelonEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/HermiteEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminationResult.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/MatrixEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Computation/SmithEliminator.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Matrix.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/GeneralLinearLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/MatrixLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/OrthogonalLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/SymplecticLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/MatrixGroup/UnitaryLieAlgebra.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/SquareMatrix.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Matrix/Vector.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Meta/CustomOperators.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Meta/Randomable.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Meta/TypeParameters.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Complex.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Integer.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Quaternion.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Rational.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Real.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Numbers/Z_2.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/MPolynomial.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/MultiplicativeSequence.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/PolynomialIdeal.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/Polynominal.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/PowerSeries.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Polynomial/SymmetricPolynomial.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Structure/AlgebraicStructure.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Structure/GroupStructure.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Structure/ModuleStructure.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Structure/SimpleModuleStructure.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/SymmetricGroup/AlternatingGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/SymmetricGroup/SymmetricGroup.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/Cache.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/Expression.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/Ref.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/debug.swift /Users/admin/builder/spi-builder-workspace/.dependencies/checkouts/SwiftyAlgebra/Sources/SwiftyAlgebra/Util/optable.swift -target arm64-apple-watchos5.0 -Xllvm -aarch64-use-tbi -enable-objc-interop -sdk /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS11.1.sdk -I /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos -I /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/lib -F /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos -F /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/Library/Frameworks -F /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/SDKs/WatchOS11.1.sdk/Developer/Library/Frameworks -no-color-diagnostics -enable-testing -g -debug-info-format\=dwarf -dwarf-version\=4 -module-cache-path /Users/admin/builder/spi-builder-workspace/.derivedData/ModuleCache.noindex -suppress-warnings -profile-generate -profile-coverage-mapping -swift-version 4 -enforce-exclusivity\=checked -stats-output-dir /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode/.stats -Onone -D SWIFT_PACKAGE -D DEBUG -serialize-debugging-options -const-gather-protocols-file /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra_const_extract_protocols.json -enable-experimental-feature DebugDescriptionMacro -enable-experimental-feature OpaqueTypeErasure -enable-upcoming-feature StrictConcurrency -enable-upcoming-feature DisableOutwardActorInference -enable-upcoming-feature GlobalActorIsolatedTypesUsability -enable-upcoming-feature InferSendableFromCaptures -strict-concurrency\=complete -empty-abi-descriptor -plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins/testing -validate-clang-modules-once -clang-build-session-file /Users/admin/builder/spi-builder-workspace/.derivedData/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode -resource-dir /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift -enable-anonymous-context-mangled-names -file-compilation-dir /Users/admin/builder/spi-builder-workspace/.swiftpm/xcode -Xcc -D_LIBCPP_HARDENING_MODE\=_LIBCPP_HARDENING_MODE_DEBUG -Xcc -ivfsstatcache -Xcc /Users/admin/builder/spi-builder-workspace/.derivedData/SDKStatCaches.noindex/watchos11.1-22R574-7b9df0bda16bb4641b33636c68f04660.sdkstatcache -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/swift-overrides.hmap -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Products/Debug-watchos/include -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/DerivedSources-normal/arm64 -Xcc -I/Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/DerivedSources/arm64 -Xcc -I/Users/admin/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 11.1 -target-sdk-name watchos11.1 -external-plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/lib/swift/host/plugins\#/Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/local/lib/swift/host/plugins\#/Applications/Xcode-16.1.0.app/Contents/Developer/Platforms/WatchOS.platform/Developer/usr/bin/swift-plugin-server -plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins -plugin-path /Applications/Xcode-16.1.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/local/lib/swift/host/plugins -emit-module-doc-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra.swiftdoc -emit-module-source-info-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra.swiftsourceinfo -emit-objc-header-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra-Swift.h -serialize-diagnostics-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra-master-emit-module.dia -emit-dependencies-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra-master-emit-module.d -o /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra.swiftmodule -emit-abi-descriptor-path /Users/admin/builder/spi-builder-workspace/.derivedData/Build/Intermediates.noindex/SwiftyAlgebra.build/Debug-watchos/SwiftyAlgebra.build/Objects-normal/arm64/SwiftyAlgebra.abi.json
Command SwiftEmitModule failed with a nonzero exit code
** BUILD FAILED **
The following build commands failed:
	SwiftEmitModule normal armv7k Emitting\ module\ for\ SwiftyAlgebra (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
	SwiftEmitModule normal arm64 Emitting\ module\ for\ SwiftyAlgebra (in target 'SwiftyAlgebra' from project 'SwiftyAlgebra')
	Building workspace spi-builder-workspace with scheme SwiftyTopology
(3 failures)
BUILD FAILURE 6.0 watchOS