lawsΒΆ

laws

Laws for algebras.

Module

Description

laws.semigroups

Laws for semigroups.

laws.commutative_semigroups

Laws for semigroups.

laws.monoids

Laws for monoids.

laws.commutative_monoids

Laws for commutative monoids.

laws.groups

Laws for groups.

laws.abelian_groups

Laws for commutative (Abelian) groups.

laws.rings

Laws for rings.

laws.fields

Laws for fields (commutative rings).