@hackage algebra2.1

Constructive abstract algebra

Constructive abstract algebra