algebra-2.0.2: Constructive abstract algebra