Implemented_Semiring

Classes