@hackage algebra2.0

Constructive abstract algebra

Constructive abstract algebra