Swift Package Index

Build Information

Failed to build SwiftyAlgebra, reference 0.1.0 (44c947), with Swift 6.3 for Linux on 14 Apr 2026 04:54:28 UTC.

Build Command

bash -c docker run --pull=always --rm -v "checkouts-4606859-0":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/swiftpackageindex/spi-images:basic-6.3-latest swift build --triple x86_64-unknown-linux-gnu 2>&1

Build Log

| 	- (#292) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Hashable] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#293) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[CustomStringConvertible] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#294) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_ModuleHom:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Domain].[Equatable] => [_ModuleHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#295) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Module] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#296) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].CoeffRing => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#297) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Module:CoeffRing] => [_ModuleHom:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#298) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[AdditiveGroup] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#299) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Copyable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#300) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Escapable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#301) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[SetType] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#302) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Hashable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#303) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[CustomStringConvertible] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#304) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_ModuleHom:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_ModuleHom:Codomain].[Equatable] => [_ModuleHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_ModuleHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#305) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].Domain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).Domain ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].Domain => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#306) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].Codomain) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).Codomain ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].Codomain => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#307) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Map]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#308) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[AdditiveGroup] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#309) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Copyable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#310) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Escapable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#311) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[Map:Domain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map:Domain] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map:Domain] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#312) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[Map:Codomain]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Map:Codomain] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Map:Codomain] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#313) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[SetType] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#314) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Hashable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#315) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[CustomStringConvertible] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#316) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[_AdditiveGroupHom]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom].[Equatable] => [_AdditiveGroupHom]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom] => [_LieAlgebraRepresentation])
| 	- (#317) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].CoeffRing) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).CoeffRing ⊗ [_LieAlgebraRepresentation].([Module].CoeffRing => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#318) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#319) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Module].[Copyable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#320) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Module].[Escapable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#321) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#322) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#323) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#324) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation].[Module] => [_LieAlgebraRepresentation])
| 	- (#325) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[AdditiveGroup] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#326) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[SetType] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#327) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Copyable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#328) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Escapable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#329) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Hashable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#330) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[CustomStringConvertible] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#331) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Domain].[Equatable] => [_AdditiveGroupHom:Domain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#332) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[AdditiveGroup] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#333) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[SetType] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#334) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Copyable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#335) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Escapable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#336) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Hashable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#337) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[CustomStringConvertible] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#338) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_AdditiveGroupHom:Codomain].[Equatable] => [_AdditiveGroupHom:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_AdditiveGroupHom:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#339) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[SetType]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#340) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Copyable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#341) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Escapable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#342) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Hashable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#343) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#344) [_LieAlgebraRepresentation]: ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[Equatable]) ⊗ ([_LieAlgebraRepresentation] => [_LieAlgebraRepresentation].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation].[AdditiveGroup] => [_LieAlgebraRepresentation])
| 	- (#345) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Ring] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#346) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Copyable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#347) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Escapable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#348) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].IntegerLiteralType => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#349) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[AdditiveGroup] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#350) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Monoid] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#351) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[ExpressibleByIntegerLiteral] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#352) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[SetType] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#353) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Hashable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#354) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[CustomStringConvertible] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#355) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[Equatable] => [Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#356) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[Module:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([Module:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Module:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#357) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Field] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#359) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[EuclideanRing] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#360) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Copyable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#361) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Escapable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#362) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[EuclideanRing:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#363) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Ring] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#364) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Ring:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#365) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[AdditiveGroup] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#366) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Monoid] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#367) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#368) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[SetType] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#369) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Hashable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#370) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[CustomStringConvertible] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#371) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[Equatable] => [VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#372) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[VectorSpace:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([VectorSpace:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [VectorSpace:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#400) [_LieAlgebraRepresentation:VectorSpace]: RightConcreteProjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] ⊗ LeftConcreteInjection([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#401) [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]: Decompose(1) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ComposeConcrete([concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>] : [concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ ([_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>]) ⊗ (σ + [_LieAlgebraRepresentation]).[concrete: LinearEnd<[_LieAlgebraRepresentation:VectorSpace]>] ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain]).[concrete: LinearEnd<[_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]>]
| 	- (#402) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Ring] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#403) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Copyable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#404) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Escapable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#405) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#406) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Monoid] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#407) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#408) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#409) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#410) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#411) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#412) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Field] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#413) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[Ring:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#414) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#415) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[EuclideanRing:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#417) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).[Field:IntegerLiteralType]
| 	- (#418) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#419) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Copyable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#420) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Escapable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#421) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#422) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#423) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#424) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#425) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#426) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#427) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain])
| 	- (#428) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[LieAlgebra:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#429) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Domain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Domain] => [_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Domain]).CoeffRing ⊗ [_LieAlgebraRepresentation].[_LieAlgebraRepresentation].([_LieAlgebraHom:Domain].CoeffRing => [_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#430) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#431) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Domain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Domain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Domain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#432) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[SetType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#433) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Copyable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#434) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Escapable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#435) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Hashable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#436) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#437) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Equatable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#438) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#439) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#440) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#441) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain])
| 	- (#442) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[LieAlgebra:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[LieAlgebra:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#443) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing] => [_LieAlgebraHom:Codomain].CoeffRing) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain] => [_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).CoeffRing ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraHom:Codomain]).CoeffRing ⊗ [_LieAlgebraRepresentation].[_LieAlgebraRepresentation].([_LieAlgebraHom:Codomain].CoeffRing => [_LieAlgebraHom:CoeffRing]) ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#444) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[VectorSpace:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[VectorSpace:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#445) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:Codomain].[Module:CoeffRing]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:Codomain]).[Module:CoeffRing] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:Codomain].[Module:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#446) [_LieAlgebraRepresentation:VectorSpace]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace].[Copyable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:VectorSpace].[Copyable] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#447) [_LieAlgebraRepresentation:VectorSpace]: ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace].[Escapable]) ⊗ ([_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraRepresentation:VectorSpace].[Escapable] => [_LieAlgebraRepresentation:VectorSpace]) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraRepresentation:VectorSpace] => [_LieAlgebraRepresentation:VectorSpace])
| 	- (#448) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#449) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#450) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#451) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#452) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Domain].[SetType] => [_LieAlgebraRepresentation:Domain])
| 	- (#453) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
| 	- (#454) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
| 	- (#455) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Hashable] => [_LieAlgebraRepresentation:Domain])
| 	- (#456) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain])
| 	- (#457) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Domain])
| 	- (#458) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain])
| 	- (#459) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain].[Equatable] => [_LieAlgebraRepresentation:Domain])
| 	- (#460) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#461) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#462) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#463) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#464) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain].[SetType] => [_LieAlgebraRepresentation:Codomain])
| 	- (#465) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#466) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#467) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Hashable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#468) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain])
| 	- (#469) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain].[CustomStringConvertible] => [_LieAlgebraRepresentation:Codomain])
| 	- (#470) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#471) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Equatable] => [_LieAlgebraRepresentation:Codomain])
| 	- (#472) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].IntegerLiteralType => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#473) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[AdditiveGroup] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#474) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Monoid] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#475) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[ExpressibleByIntegerLiteral] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#476) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Copyable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#477) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Escapable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#478) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[SetType] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#479) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Hashable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#480) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[CustomStringConvertible] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#481) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[Equatable] => [Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#482) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]).[ExpressibleByIntegerLiteral:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Ring].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [Ring:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Ring:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#483) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#484) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#485) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#486) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#487) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#488) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#489) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[SetType] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#490) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Copyable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#491) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Escapable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#492) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Hashable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#493) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[CustomStringConvertible] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#494) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Monoid].[Equatable] => [Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Monoid] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#495) [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing]).[Field:IntegerLiteralType] ⊗ [_LieAlgebraRepresentation].([_LieAlgebraHom:CoeffRing].[Field:IntegerLiteralType] => [_LieAlgebraHom:CoeffRing].IntegerLiteralType) ⊗ ([_LieAlgebraRepresentation].[_LieAlgebraHom:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing]).IntegerLiteralType ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]).IntegerLiteralType ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].IntegerLiteralType => [ExpressibleByIntegerLiteral:IntegerLiteralType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral:IntegerLiteralType] => [_LieAlgebraRepresentation:CoeffRing].[Field:IntegerLiteralType])
| 	- (#496) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].[Copyable] => [ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#497) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([ExpressibleByIntegerLiteral].[Escapable] => [ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#498) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Hashable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#499) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[CustomStringConvertible] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#500) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Copyable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#501) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Escapable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#502) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([SetType].[Equatable] => [SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[SetType] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#503) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Equatable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#504) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Copyable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#505) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Hashable].[Escapable] => [Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Hashable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#506) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([CustomStringConvertible].[Copyable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#507) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([CustomStringConvertible].[Escapable] => [CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#508) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Equatable].[Copyable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#509) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Equatable].[Escapable] => [Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Equatable] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#511) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[EuclideanRing] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[EuclideanRing] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#512) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Copyable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#513) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Escapable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#514) [_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])
| 	- (#515) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Ring] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Ring] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#516) [_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])
| 	- (#517) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[AdditiveGroup] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#518) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Monoid] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#519) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[ExpressibleByIntegerLiteral] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#520) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[SetType] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#521) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Hashable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#522) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[CustomStringConvertible] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#523) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Field]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([Field].[Equatable] => [Field]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[Field] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#524) [_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])
| 	- (#525) [_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])
| 	- (#526) [_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])
| 	- (#527) [_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])
| 	- (#528) [_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])
| 	- (#529) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Ring]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Ring] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Ring] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#530) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Copyable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Copyable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Copyable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#531) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Escapable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Escapable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Escapable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#532) [_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])
| 	- (#533) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[AdditiveGroup] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#534) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Monoid]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Monoid] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Monoid] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#535) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[ExpressibleByIntegerLiteral]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[ExpressibleByIntegerLiteral] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[ExpressibleByIntegerLiteral] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#536) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[SetType]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[SetType] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[SetType] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#537) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Hashable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Hashable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Hashable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#538) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[CustomStringConvertible] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#539) [_LieAlgebraRepresentation:CoeffRing]: ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[Equatable]) ⊗ ([_LieAlgebraRepresentation:CoeffRing] => [_LieAlgebraRepresentation:CoeffRing].[EuclideanRing]).[Equatable] ⊗ [_LieAlgebraRepresentation:CoeffRing].([EuclideanRing].[Equatable] => [EuclideanRing]) ⊗ ([_LieAlgebraRepresentation:CoeffRing].[EuclideanRing] => [_LieAlgebraRepresentation:CoeffRing])
| 	- (#540) [_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])
| 	- (#541) [_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])
| 	- (#542) [_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])
| 	- (#543) [_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])
| 	- (#544) [_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])
| 	- (#545) [_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])
| 	- (#546) [_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])
| 	- (#547) [_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])
| 	- (#548) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[VectorSpace] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[VectorSpace] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#549) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Copyable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#550) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Escapable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#551) [_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])
| 	- (#552) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Module] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Module] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#553) [_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])
| 	- (#554) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[AdditiveGroup] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#555) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[SetType] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#556) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Hashable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#557) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[CustomStringConvertible] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#558) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[LieAlgebra]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([LieAlgebra].[Equatable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Domain].[LieAlgebra] => [_LieAlgebraRepresentation:Domain])
| 	- (#559) [_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])
| 	- (#560) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
| 	- (#561) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Copyable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
| 	- (#562) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Escapable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
| 	- (#563) [_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])
| 	- (#564) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
| 	- (#565) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
| 	- (#566) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
| 	- (#567) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
| 	- (#568) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Domain].[VectorSpace] => [_LieAlgebraRepresentation:Domain])
| 	- (#569) [_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])
| 	- (#570) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
| 	- (#571) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Copyable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
| 	- (#572) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Escapable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
| 	- (#573) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
| 	- (#574) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
| 	- (#575) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
| 	- (#576) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Domain].[Module] => [_LieAlgebraRepresentation:Domain])
| 	- (#577) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
| 	- (#578) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
| 	- (#579) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
| 	- (#580) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
| 	- (#581) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
| 	- (#582) [_LieAlgebraRepresentation:Domain]: ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Domain] => [_LieAlgebraRepresentation:Domain].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:Domain].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Domain].[AdditiveGroup] => [_LieAlgebraRepresentation:Domain])
| 	- (#583) [_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])
| 	- (#585) [_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])
| 	- (#586) [_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])
| 	- (#587) [_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])
| 	- (#588) [_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]
| 	- (#589) [_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])
| 	- (#590) [_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]
| 	- (#591) [_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])
| 	- (#592) [_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])
| 	- (#593) [_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])
| 	- (#594) [_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])
| 	- (#595) [_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])
| 	- (#596) [_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])
| 	- (#597) [_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])
| 	- (#598) [_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]
| 	- (#599) [_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])
| 	- (#601) [_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])
| 	- (#602) [_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])
| 	- (#603) [_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])
| 	- (#604) [_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]
| 	- (#605) [_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])
| 	- (#606) [_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]
| 	- (#607) [_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])
| 	- (#608) [_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])
| 	- (#609) [_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])
| 	- (#610) [_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])
| 	- (#611) [_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])
| 	- (#612) [_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])
| 	- (#613) [_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])
| 	- (#614) [_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]
| 	- (#615) [_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])
| 	- (#616) [_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])
| 	- (#617) [_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])
| 	- (#618) [_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])
| 	- (#619) [_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])
| 	- (#620) [_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])
| 	- (#621) [_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])
| 	- (#622) [_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])
| 	- (#623) [_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])
| 	- (#624) [_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])
| 	- (#625) [_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])
| 	- (#626) [_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])
| 	- (#627) [_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])
| 	- (#628) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[VectorSpace] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[VectorSpace] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#629) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Copyable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#630) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Escapable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#631) [_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])
| 	- (#632) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Module] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#633) [_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])
| 	- (#634) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[AdditiveGroup] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#635) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[SetType] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#636) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Hashable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#637) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[CustomStringConvertible] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#638) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[LieAlgebra]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([LieAlgebra].[Equatable] => [LieAlgebra]) ⊗ ([_LieAlgebraRepresentation:Codomain].[LieAlgebra] => [_LieAlgebraRepresentation:Codomain])
| 	- (#639) [_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])
| 	- (#640) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Module] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Module] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#641) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Copyable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#642) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Escapable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#643) [_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])
| 	- (#644) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[AdditiveGroup] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#645) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[SetType] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#646) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Hashable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#647) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[CustomStringConvertible] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#648) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[VectorSpace]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([VectorSpace].[Equatable] => [VectorSpace]) ⊗ ([_LieAlgebraRepresentation:Codomain].[VectorSpace] => [_LieAlgebraRepresentation:Codomain])
| 	- (#649) [_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])
| 	- (#650) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[AdditiveGroup] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[AdditiveGroup] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#651) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Copyable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#652) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Escapable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#653) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[SetType] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#654) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Hashable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#655) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[CustomStringConvertible] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#656) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Module]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([Module].[Equatable] => [Module]) ⊗ ([_LieAlgebraRepresentation:Codomain].[Module] => [_LieAlgebraRepresentation:Codomain])
| 	- (#657) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[SetType]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[SetType] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[SetType] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#658) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Copyable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Copyable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Copyable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#659) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Escapable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Escapable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Escapable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#660) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Hashable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Hashable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Hashable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#661) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[CustomStringConvertible]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[CustomStringConvertible] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[CustomStringConvertible] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#662) [_LieAlgebraRepresentation:Codomain]: ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[Equatable]) ⊗ ([_LieAlgebraRepresentation:Codomain] => [_LieAlgebraRepresentation:Codomain].[AdditiveGroup]).[Equatable] ⊗ [_LieAlgebraRepresentation:Codomain].([AdditiveGroup].[Equatable] => [AdditiveGroup]) ⊗ ([_LieAlgebraRepresentation:Codomain].[AdditiveGroup] => [_LieAlgebraRepresentation:Codomain])
| 	- (#663) [_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])
| 	- (#665) [_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])
| 	- (#666) [_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])
| 	- (#667) [_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])
| 	- (#668) [_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]
| 	- (#669) [_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])
| 	- (#670) [_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]
| 	- (#671) [_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])
| 	- (#672) [_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])
| 	- (#673) [_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])
| 	- (#674) [_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])
| 	- (#675) [_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])
| 	- (#676) [_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])
| 	- (#677) [_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])
| 	- (#678) [_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]
| 	- (#679) [_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])
| 	- (#681) [_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])
| 	- (#682) [_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])
| 	- (#683) [_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])
| 	- (#684) [_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]
| 	- (#685) [_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])
| 	- (#686) [_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]
| 	- (#687) [_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])
| 	- (#688) [_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])
| 	- (#689) [_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])
| 	- (#690) [_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])
| 	- (#691) [_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])
| 	- (#692) [_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])
| 	- (#693) [_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])
| 	- (#694) [_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]
| 	- (#695) [_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])
| 	- (#696) [_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])
| 	- (#697) [_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])
| 	- (#698) [_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])
| 	- (#699) [_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])
| 	- (#700) [_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])
| 	- (#701) [_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])
| 	- (#702) [_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])
| 	- (#703) [_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])
| 	- (#704) [_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])
| 	- (#705) [_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])
| 	- (#706) [_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])
| 	- (#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] => [_LieA
BUILD FAILURE 6.3 linux