[PostScript]
RingWithUnit: trait
  includes Ring, Monoid (* for \circ, 1 for unit)
[Table of Contents] [Index]