algebra-2.0: Constructive abstract algebra

Numeric.Ring.Local

Documentation

class Ring r => LocalRing r Source