algebra-2.0: Constructive abstract algebra

Numeric.Coalgebra.Trigonometric.Class

Documentation