IsSubset
IrreducibleModules
-b
Embedding
Projection
Irr
AsField
LieFamily
GroupHomomorphismByImages
VectorSpace
Algebra
InjectionZeroMagma
EnumeratorOfCombinations( mset, k )