algebra-2.0.1: Constructive abstract algebra

Numeric.Ring.Local

Documentation

class Ring r => LocalRing r Source