Algebraic structure


Isabelle quick-reference

Abelian semigroup abel_semigroup
Bounded lattice bounded_lattice
Integral domain idom
Join semilattice semilattice_sup
Lattice lattice
Meet semilattice semilattice_inf
Monoid monoid
Ring ring
Semilattice semilattice
Semiring semiring

Proper subsets

Parent topics