algebra-0.9.0.3: Constructive abstract algebra

Numeric.Ring.Local

Documentation

class Ring r => LocalRing r Source