algebra-0.4.0: Constructive abstract algebra

Index - <

<Numeric.Order.Class, Numeric.Order
<~Numeric.Order.Class, Numeric.Order