@hackage algebra4.1

Constructive abstract algebra

Constructive abstract algebra