@hackage algebra3.0

Constructive abstract algebra

Constructive abstract algebra