algebra-3.0.1.1: Constructive abstract algebra