Implemented_Monoid

Class AllenMonoid