algebra-2.1.1.1: Constructive abstract algebra
Numeric.Ring.Division
class (Division r, Ring r) => DivisionRing r Source
Instances