[PostScript]
Group: trait
  introduces
    __\circ __: T, T -> T
    unit: -> T
    __\inv: T -> T
  asserts forall x, y, z: T
    (x \circ y) \circ z == x \circ (y \circ z);
    unit \circ x == x;
    (x\inv) \circ x == unit;
  implies Monoid, Inverse
[Table of Contents] [Index]