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