This type represents Lie subspaces, and has the subtypes LieIdeal, FGLieIdeal, LieSubAlgebra, FGLieSubAlgebra. A Lie subspace need not be invariant under the differential.
|
|
|
|
|
|
The object LieSubSpace is a type, with ancestor classes VectorSpace < HashTable < Thing.