algebra-0.3.0: Constructive abstract algebra
Numeric.Ring.Opposite
Synopsis
newtype Opposite r Source
http:en.wikipedia.orgwikiOpposite_ring
Constructors
Fields
Instances