@hackage algebra3.1

Constructive abstract algebra

Constructive abstract algebra