Module Module.FreeLeft.Ring

module Ring: R