Algebraic structure


Isabelle quick-reference

Abelian semigroup abel_semigroup
Monoid monoid
Ring ring
Semilattice semilattice
Semiring semiring

Proper subsets