algebra-4.3: Constructive abstract algebra
Numeric.Domain.UFD
class GCDDomain d => UFD d Source #
Instances