algebra-2.1.1.1: Constructive abstract algebra