Lemmata.Semiring

class Semiring m

zero