algebra-2.1.1.2: Constructive abstract algebra