algebra-3.1: Constructive abstract algebra

Numeric.Ring.Division

class (Division r, Ring r) => DivisionRing r Source

Instances