@hackage algebra2.0.7

Constructive abstract algebra

Constructive abstract algebra