algebra-2.0: Constructive abstract algebra

Numeric.Field.Class

Documentation

class (Commutative r, DivisionRing r) => Field r Source

Instances