algebra-2.0.2: Constructive abstract algebra

Numeric.Ring.Local

Documentation

class Ring r => LocalRing r Source