algebra-4.2: Constructive abstract algebra

Safe HaskellSafe-Inferred
LanguageHaskell98

Numeric.Ring.Division

Documentation

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

Instances

(Division r, Ring r) => DivisionRing r