[PostScript]
Distributive (+, *, T): trait
  includes LeftDistributive, RightDistributive
[Table of Contents] [Index]