Implemented_Monoid

Class UsualAdditionMonoid