@hackage algebra4.2

Constructive abstract algebra

Constructive abstract algebra