ILeftModuleElement.cs

using Waher.Script.Abstraction.Sets;
 
namespace Waher.Script.Abstraction.Elements
{
    public interface ILeftModuleElement : IAbelianGroupElement
    {
        ILeftModuleElement MultiplyScalarLeft(IRingElement Scalar);
 
        ILeftModule AssociatedLeftModule
        {
            get;
        }
    }
}