AbelianGroup concept

Description

An abelian group is a commutative Group.

Refinement of

Notation

Definitions

Valid expressions

Expression semantics

Complexity guarantees

Invariants

Models

Notes